Typed lambda calculi and applications. International conference, TLCA '93, March 16--18, 1993, Utrecht, the Netherlands. Proceedings

DOI10.1007/BFB0037093zbMath0866.00038OpenAlexW3143737500MaRDI QIDQ684571

No author found.

Publication date: 21 September 1993

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0037093

zbMATH Keywords

ConferenceProceedingsLambda calculiTLCA '93Utrecht (NL)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Combinatory logic and lambda calculus (03B40)

Related Items (5)

Semantic analysis of normalisation by evaluation for typed lambda calculus ⋮ More problems in rewriting ⋮ Developing developments ⋮ Modular properties of algebraic type systems ⋮ Development closed critical pairs

Uses Software

• Coq

This page was built for publication: Typed lambda calculi and applications. International conference, TLCA '93, March 16--18, 1993, Utrecht, the Netherlands. Proceedings