The formal system λδ
From MaRDI portal
Publication:2946591
DOI10.1145/1614431.1614436zbMath1351.68059MaRDI QIDQ2946591
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
Related Items
Unnamed Item, A minimalist two-level foundation for constructive mathematics, Procedural representation of CIC proof terms