Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings

>> Amazon.co.jp

このページのQRコード

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.)

出版情報:

Berlin : Springer-Verlag, c1995

著者名:

シリーズ名:

Lecture notes in computer science ; 902 <BA00009279>

ISBN:

9783540590484 [354059048X] (: gw)

注記:

Includes bibliographical references

所蔵情報

子書誌情報

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

詳細

主題:	Lambda calculus--Congresses
分類・件名:	LCC : QA9.5 DDC : 511.3 LCSH : Lambda calculus -- Congresses
LCCN:	95005969
TTLL:	eng
言語:	英語
形態:	viii, 442 p. ; 24 cm
書誌ID:	BA24796702

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック 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	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 Springer
2 電子ブック 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	8 電子ブック 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
3 図書 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	9 電子ブック 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
4 図書 Typed lambda calculi and applications : 4th international conference, TLCA '99, L'Aquila, Italy, April 7-9, 1999 : proceedings International Conference on Typed Lambda Calculi and Applications, Girard, Jean-Yves Springer-Verlag	10 図書 International symposium on programming : 5th colloquium, Turin, April 6-8, 1982, proceedings International symposium on programming, Dezani-Ciancaglini, Mariangiola, Montanari, U. (Ugo) Springer-Verlag
5 図書 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	11 電子ブック International Symposium on Programming : 5th Colloquium Turin, April 6–8, 1982 Proceedings Dezani-Ciancaglini, Mariangiola, Montanari, Ugo, SpringerLink (Online service) Springer-Verlag
6 図書 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	12 電子ブック Intelligent Tutoring Systems : Second International Conference, ITS '92 Montréal, Canada, June 10–12 1992 Proceedings Frasson, Claude, Gauthier, Gilles, McCalla, Gordon I., SpringerLink (Online service) Springer-Verlag