A unified approach to type theory through a refined \(\lambda\)-calculus

From MaRDI portal
Publication:1349674

DOI10.1016/0304-3975(94)00127-5zbMath0874.03014OpenAlexW2000972984MaRDI QIDQ1349674

Fairouz Kamareddine, Rob Nederpelt

Publication date: 27 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(94)00127-5




Related Items


Uses Software


Cites Work