Typed lambda calculi and applications. International conference, TLCA '93, March 16--18, 1993, Utrecht, the Netherlands. Proceedings
DOI10.1007/BFB0037093zbMATH Open0866.00038OpenAlexW3143737500MaRDI QIDQ684571FDOQ684571
Author name not available (Why is that?)
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
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.
- Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1--3, 2009. Proceedings
- scientific article
- scientific article; zbMATH DE number 2213891
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)
Cited In (7)
- Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1--3, 2009. Proceedings
- Semantic analysis of normalisation by evaluation for typed lambda calculus
- Title not available (Why is that?)
- More problems in rewriting
- Developing developments
- Modular properties of algebraic type systems
- Development closed critical pairs
Uses Software
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)
