Typed Lambda Calculi and Applications

Updated details can be found at http://www.mimuw.edu.pl/tlca/

Editions

• tlca2015
• tlca2013
• tlca2011
• tlca2009
• tlca2007
• tlca2005
• tlca2003
• tlca2001
• tlca1999
• tlca1997
• tlca1995
• tlca1993

Aliases

• tlca
• Typed Lambda Calculi and Applications