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