Typed lambda calculi and applications : 4th international conference, TLCA '99, L'Aquila, Italy, April 7-9, 1999 : proceedings

>> Amazon.co.jp

このページの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

著者名:

シリーズ名:

Lecture notes in computer science ; 1581 <BA00009279>

ISBN:

9783540657637 [3540657630]

注記:

Includes bibliographical references and index

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Lambda calculus--Congresses
分類・件名:	NDC9 : 007 LCSH : Lambda calculus -- Congresses
TTLL:	eng
言語:	英語
形態:	viii, 396 p. ; 24 cm
書誌ID:	BA40936278

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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 Applications, Groote, Philippe de, Hindley, J. Roger Springer-Verlag	7 電子ブック Typed Lambda Calculi and Applications : International Conference on Typed Lambda Calculi and Applications TLCA '93 March, 16–18, 1993, Utrech, The Netherlands … Bezem, Marc, Groote, Jan Friso, SpringerLink (Online service) Springer-Verlag
2 図書 Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April … International Conference on Typed Lambda Calculi Applications, Dezani-Ciancaglini, Mariangiola, Plotkin, G. (Gordon), … Springer-Verlag	8 電子ブック Typed Lambda Calculi and Applications : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The … Bezem, Marc., Groote, Jan F., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
3 図書 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	9 図書 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 Springer
4 図書 Typed lambda calculi and applications : International Conference on Typed Lamda [i.e. Lambda] Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, … International Conference on Typed Lambda Calculi Applications, Bezem, M. (Marc), 1956-, Groote, J. F. (Jan Frisco), … Springer-Verlag	10 図書 Algebraic geometry : proceedings of the international conference held in L'Aquila, Italy, May 30-June 4, 1988 Sommese, Andrew John, Biancofiore, A., 1947-, Livorni, E. L. (Elvira Laura), 1951- Springer-Verlag
5 電子ブック Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April … Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon, SpringerLink (Online service) Springer-Verlag	11 電子ブック Algebraic Geometry : Proceedings of the International Conference, held in L'Aquila, Italy, May 30 - June 4, 1988 Sommese, Andrew J., Biancofiore, Aldo., Livorni, Elvira L., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
6 電子ブック Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 … Dezani-Ciancaglini, Mariangiola., Plotkin, Gordon., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	12 図書 Rewriting techniques and applications : 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, proceedings Narendran, Paliath, 1955-, Rusinowitch, M. (Michael), International Conference on Rewriting Techniques and Applications Springer