\(\lambda\)-calculus and computer science theory. Proceedings of the symposium held in Rome, March 25-27, 1975
From MaRDI portal
Publication:1221073
zbMath0316.00005MaRDI QIDQ1221073
No author found.
Publication date: 1975
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Conference proceedings and collections of articles (00Bxx)
Related Items (4)
Type theories, normal forms, and \(D_{\infty}\)-lambda-models ⋮ Unique normal forms for lambda calculus with surjective pairing ⋮ Conditional linearization ⋮ Computability in higher types, P\(\omega\) and the completeness of type assignment
This page was built for publication: \(\lambda\)-calculus and computer science theory. Proceedings of the symposium held in Rome, March 25-27, 1975
