Typed lambda calculi and applications : 4th International Conference, TLCA '99, L'Aquila, Italy, April 7-9, 1999 : proceedings | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

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

形態:

viii, 396 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 1581 <BA00009279>

著者名:

ISBN:

9783540657637 [3540657630]

書誌ID:

BA40936278

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index "This volume represents the proceedings of the Fourth International Conference on Typed Lambda Calculi and Applications, TLCA'99" -- Pref
主題:	Lambda calculus--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Typed lambda calculi and applications : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings International Conference on Typed Lambda Calculi and Applications, Urzyczyn, Paweł Springer	7 図書 Typed lambda calculi and applications : 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings International Conference on Typed Lambda Calculi and Applications, Hofmann, Martin, 1965- Springer
2 図書 Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : … International Conference on Typed Lambda Calculi and Applications, De Groote, Philippe, Hindley, J. Roger Springer-Verlag	8 電子ブック Typed Lambda Calculi and Applications International Conference on Typed Lambda Calculi and Applications, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin / Heidelberg
3 図書 Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April … (: gw) International Conference on Typed Lambda Calculi and Applications, Dezani-Ciancaglini, Mariangiola, Plotkin, G. … Springer-Verlag	9 電子ブック Typed Lambda Calculi and Applications Curien, Pierre-Louis, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
4 図書 Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings International Conference on Typed Lambda Calculi and Applications, Abramsky, Samson, 1953- Springer-Verlag	10 電子ブック Typed Lambda Calculi and Applications Ong, Luke, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
5 図書 Typed lambda calculi and applications : International Conference on Typed Lamda [i.e. Lambda] Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, … (: gw ; : us) International Conference on Typed Lambda Calculi and Applications, Bezem, M. (Marc), 1956-, Groote, J. F. (Jan Frisco), … Springer-Verlag	11 電子ブック Typed Lambda Calculi and Applications Hasegawa, Masahito Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック Typed Lambda Calculi and Applications International Conference on Typed Lambda Calculi and Applications, Girard, Jean-Yves SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 電子ブック Typed Lambda Calculi and Applications Rocca, Simona Ronchi, Hutchison, David, Kanade, Takeo, Ronchi Della Rocca, Simona Springer eBooks Computer Science, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12