Tony Finchdot@dotat.athttps://dotat.at/https://dotat.at/:/8HK9P.html2018-06-04T08:22:17ZA scope safe universe of syntaxes with binding, their semantics and proofs.
2018‑06‑04
A scope safe universe of syntaxes with binding, their semantics and proofs.