Where science meets purpose

A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs

October 2021 — Guillame Allais, Robert Atkey, James Chapman, Conor McBride, James McKinna