著者典拠情報

著者標目形：
International Conference on Typed Lambda Calculi and Applications
属性：
Meeting
場所：
Utrecht, Netherlands;Edinburgh;Nancy, France;L'Aquila, Italy;Kraków, Poland
日付：
1993;1995;1997;1999;2001
から見よ参照形：
Conference on Typed Lambda Calculi and Applications, International
TLCA '93
TLCA '95
TLCA '97
TLCA '99
TLCA 2001
TLCA 2003
注記：
Its Typed lambda calculi and applications, c1993: CIP t.p. (International Conference on Typed Lambda Calculi and Applications, TLCA '93; Mar. 16-18, 1993, Utrecht, The Netherlands)
EDSRC:Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings / Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)(Springer-Verlag, c1995)
EDSRC:Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings / Philippe de Groote, J. Roger Hindley (eds.)(Springer-Verlag, c1997)
EDSRC:Typed lambda calculi and applications : 4th International Conference, TLCA '99, L'Aquila, Italy, April 7-9, 1999 : proceedings / Jean-Yves Girard (ed.) (Springer-Verlag, c1999)
Typed lambda calculi and applications, c2001: t.p. (5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001)
EDSRC:Typed lambda calculi and applications : 6th international conference, TLCA 2003 Valencia, Spain, June 10-12, 2003 : proceedings / Martin Hofmann (ed.) (Springer-Verlag, c2003)
著者典拠ID：
DA07209330


1.

図書
図書
1. Typed lambda calculi and applications : 6th International Conference, TLCA 2003 Valencia, Spain, June 10-12, 2003 : proceedings
Martin Hofmann (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2701
所蔵情報: 図書館
2.

図書
図書
2. Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings
Samson Abramsky (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c2001
シリーズ名: Lecture notes in computer science ; 2044
所蔵情報: 図書館
3.

図書
図書
3. Typed lambda calculi and applications : 4th international conference, TLCA '99, L'Aquila, Italy, April 7-9, 1999 : proceedings
Jean-Yves Girard (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1999
シリーズ名: Lecture notes in computer science ; 1581
所蔵情報: 図書館
4.

図書
図書
4. Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings
Philippe de Groote, J. Roger Hindley (eds.)
出版情報: Berlin : Springer-Verlag, c1997
シリーズ名: Lecture notes in computer science ; 1210
所蔵情報: 図書館
5.

図書
図書
5. Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings (: gw)
Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)
出版情報: Berlin : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 902
所蔵情報: 図書館
6.

図書
図書
6. Typed lambda calculi and applications : International Conference on Typed Lamda [i.e. Lambda] Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands : proceedings (: gw ; : us)
M. Bezem, J.F. Groote, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 664
所蔵情報: 図書館