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

DOI10.1007/BFB0037093MaRDI QIDQ684571zbMATH OpenOpenAlexFDO

Authors

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 mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Combinatory logic and lambda calculus (03B40)

Recommendations

• Typed lambda calculi and applications. 11th international conference, TLCA 2013, Eindhoven, The Netherlands, June 26--28, 2013. Proceedings
• Typed lambda calculi and applications. Third international conference on typed lambda calculi and applications, TLCA '97, Nancy, France, April 2--4, 1997. Proceedings.
• Typed lambda calculi and applications. 4th international conference, TLCA '99. L'Aquila, Italy, April 7--9, 1999. Proceedings
• Typed lambda calculi and applications. 2nd international conference, TLCA '95, Edinburgh, GB, April 10--12, 1995. Proceedings
• Typed lambda calculi and applications. 6th international conference, TLCA 2003, Valencia, Spain, June 10--12, 2003. Proceedings
• Typed lambda calculi and applications. 5th international conference, TLCA 2001, Kraków, Poland, May 2--5, 2001. Proceedings
• Typed lambda calculi and applications. 7th international conference, TLCA 2005, Nara, Japan, April 21--23, 2005. Proceedings.
• scientific article; zbMATH DE number 1183235
• scientific article; zbMATH DE number 2213891

Cited in

(6)

• Semantic analysis of normalisation by evaluation for typed lambda calculus
• scientific article; zbMATH DE number 6513111 (Why is no real title available?)
• More problems in rewriting
• Developing developments
• Modular properties of algebraic type systems
• Development closed critical pairs

Describes a project that uses

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q684571)