Fingerprint
Dive into the research topics of 'A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs
Guillaume Allais, Robert Atkey, James Chapman, Conor McBride, James McKinna
Research output: Contribution to journal › Article › peer-review