ID:DA07209330
Conference on Typed Lambda Calculi and Applications, International
TLCA '93
TLCA '95
TLCA '97
TLCA '99
TLCA 2001
TLCA 2003
Search authors sharing the same name
Luke Ong (ed.)
Springer c2011 Lecture notes in computer science 6690 . Advanced Research in Computing and Software Science
Available at 1 libraries
Pierre-Louis Curien (ed.)
Springer c2009 Lecture notes in computer science 5608
Available at 3 libraries
Simona Ronchi Della Rocca (ed.)
Springer c2007 Lecture notes in computer science 4583
Available at 7 libraries
Paweł Urzyczyn (ed.)
Springer c2005 Lecture notes in computer science 3461
Available at 19 libraries
Martin Hofmann (ed.)
Springer c2003 Lecture notes in computer science 2701
Available at 30 libraries
Samson Abramsky (ed.)
Springer-Verlag c2001 Lecture notes in computer science 2044
Available at 39 libraries
Jean-Yves Girard (ed.)
Springer-Verlag c1999 Lecture notes in computer science 1581
Available at 51 libraries
Philippe de Groote, J. Roger Hindley (eds.)
Springer-Verlag c1997 Lecture notes in computer science 1210
Available at 60 libraries
Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)
Springer-Verlag c1995 Lecture notes in computer science 902
: gw
Available at 67 libraries
M. Bezem, J.F. Groote, (eds.)
Springer-Verlag c1993 Lecture notes in computer science 664
: gw , : us
Available at 66 libraries
