Blank Cover Image
このページのQRコード

The calculi of Lambda-conversion

種類:
図書
責任表示:
by Alonzo Church
出版情報:
New York : Kraus Reprint, 1965
著者名:
Church, Alonzo, 1903- <DA02597673>  
シリーズ名:
Annals of mathematics studies ; no. 6 <BA13958223>
注記:
Reprint. Originally published: Princeton, N.J. : Princeton University Press, 1941
Bibliography: p. 73-82
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Domains and lambda-calculi

Amadio, Roberto M, Curien, P.-L. (...Pierre-Louis...)

Cambridge University Press
7 図書 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), &hellip;

Springer-Verlag
2 図書 Lambda calculi : a guide for computer scientists

Hankin, Chris

Clarendon Press, Oxford University Press
8 図書 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), &hellip;

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 : 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
4 電子ブック 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
10 電子ブック 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
5 電子ブック 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
11 図書 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
6 図書 African apostles : ritual and conversion in the Church of John Maranke

Jules-Rosette, Bennetta

Cornell University Press
12 図書 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