# A type and scope safe universe of syntaxes with binding: their semantics and proofs

> Research article (Proceedings of the ACM on Programming Languages, 2018) · cited 29× · AI/ML

**Wikidata**: [openalex:W2884724299](https://www.wikidata.org/wiki/openalex:W2884724299)  
**Source**: https://4ort.xyz/entity/a-type-and-scope-safe-universe-of-syntaxes-with-binding-their-semantics-and-proofs