scientific article; zbMATH DE number 5309222

MaRDI QIDQ3518593zbMATH OpenFDO

Authors

Publication date 8 August 2008

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Functional programming and lambda calculus (68N18)

Recommendations

• Types for proofs and programs. International workshop, TYPES 2004, Jouy-en-Josas, France, December 15--18, 2004. Revised selected papers
• A short survey of isomorphisms of types
• Types for proofs and programs. International workshop, TYPES 2003, Torino, Italy, April 30 -- May 4, 2003. Revised selected papers.
• scientific article; zbMATH DE number 6125943
• Types for proofs and programs. International workshop TYPES '95, Torino, Italy, June 5--8, 1995. Selected papers
• Proceedings of the fifth workshop on intersection types and related systems, Edinburgh, UK, July 9, 2010
• Types for proofs and programs. International workshop TYPES '96, Aussois, France, December 15--19, 1996. Selected papers
• Proceedings of the 3rd international workshop on intersection types and related systems (ITRS 2004), Turku, Finland, July 13, 2004
• Types for proofs and programs. International workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24--28, 2002. Selected papers
• Types for proofs and programs. International workshop, TYPES 2000, Durham, GB, December 8--12, 2000. Selected papers

This page was built for publication:

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