- Full Text
- Scholarly Journal
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs
PDF
CiteCite
Copy URL
https://www.proquest.com/scholarly-journals/type-scope-safe-universe-syntaxes-with-binding/docview/2582895744/se-2?accountid=208611
PrintAll Options