Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings

>> Amazon.co.jp

このページのQRコード

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 <BA00009279>

ISBN:

9783540626886 [3540626883]

注記:

Includes bibliographical references

所蔵情報

子書誌情報

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

詳細

主題:	Lambda calculus--Congresses
分類・件名:	NDC7 : 549.92 LCSH : Lambda calculus -- Congresses
LCCN:	95005969
TTLL:	eng
言語:	英語
形態:	viii, 404 p. ; 24 cm
書誌ID:	BA30091847

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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	7 電子ブック 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
2 図書 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	8 電子ブック 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
3 図書 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	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 : 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 図書 Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : … Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Brinksma, Ed Springer
5 電子ブック 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	11 図書 Electrophoresis '81 : advanced methods, biochemical and clinical applications : proceedings of the Third International Conference on Electrophoresis, … International Conference on Electrophoresis, Allen, R. C. (Robert Carter), 1930-, Arnaud, P. (Philippe) W. de Gruyter
6 電子ブック 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	12 図書 Lambda-calculus and combinators, an introduction Hindley, J. Roger, Seldin, Jonathan P Cambridge University Press