The formal system λδ

DOI10.1145/1614431.1614436zbMath1351.68059OpenAlexW2012542922MaRDI QIDQ2946591

Ferruccio Guidi

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1614431.1614436

zbMATH Keywords

abbreviationsenvironments as termsterms as types

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items

Procedural representation of CIC proof terms ⋮ A minimalist two-level foundation for constructive mathematics ⋮ Unnamed Item