Blank Cover Image

The calculi of Lambda-conversion

フォーマット:
図書
責任表示:
by Alonzo Church
言語:
英語
出版情報:
New York : Kraus Reprint, 1965
形態:
ii, 82 p. ; 23 cm
著者名:
Church, Alonzo, 1903- <DA02597673>  
シリーズ名:
Annals of mathematics studies ; no. 6 <BA13958223>
書誌ID:
BA25913754
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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 図書 Алгебра, топология, геометрия

Gamkrelidze, Revaz Valerianovich, 1908-, Soviet Union. Gosudarstvennyĭ komitet po nauke i tekhnike, Vsesoi︠u︡znyĭ &hellip;

ВИНИТИ
2 図書 Lambda calculi : a guide for computer scientists

Hankin, Chris

Clarendon Press, Oxford University Press
8 図書 Algebraic K-theory

Swan, Richard G.

Springer-Verlag
3 図書 Introduction to mathematical logic

Church, Alonzo, 1903-

Princeton University Press
9 図書 Linear inequalities and related systems

Dantzig, George Bernard, 1914-, Kuhn, H. W., Tucker, Albert W. (Albert William), 1905-

Princeton University Press
4 図書 Introduction to mathematical logic

Church, Alonzo, 1903-

Princeton University Press
10 図書 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
5 図書 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
11 図書 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
6 図書 Automata on infinite objects & Church's problem

M.Rabin
12 電子ブック Typed Lambda Calculi and Applications : 8th International ConferenceTLCA 2007 Paris FranceJune 26-28 2007. Proceedings

Rocca Simona Ronchi, SpringerLink (Online service)

Springer-Verlag