>> Google Books
タイトル、所在を表示します

Isomorphisms of types : from λ-calculus to information retrieval and language design

フォーマット:
図書
責任表示:
Roberto Di Cosmo
言語:
英語
出版情報:
Boston : Birkhäuser, 1995
形態:
viii, 235 p. ; 25 cm
著者名:
Di Cosmo, Roberto, 1963- <DA0887683X>  
シリーズ名:
Progress in theoretical computer science <BA1282110X>
書誌ID:
BA24115780
ISBN:
9780817637637 [081763763X]
9783764337636 [376433763X]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Basic simple type theory

Hindley, J. Roger

Cambridge University Press
7 図書 Coroutines : a programming methodology, a language design and an implementation

Marlin, Christopher D., 1952-

Springer-Verlag
2 図書 Theoretical aspects of object-oriented programming : types, semantics, and language design

Gunter, Carl A, Mitchell, John C.

MIT Press
8 図書 Type-theoretical grammar

Ranta, Aarne

Clarendon Press, Oxford University Press
3 図書 A modern perspective on type theory : from its origins until today

Kamareddine, Fairouz, Laan, Twan, Nederpelt, R. P. (Rob P.)

Kluwer Academic
9 図書 Theories of types and proofs

高橋, 正子, Okada, M. (Mitsuhiro), 1954-, Dezani-Ciancaglini, Mariangiola

Mathematical Society of Japan
4 図書 The structure of typed programming languages

Schmidt, David A., 1953-

MIT Press
10 図書 An introduction to mathematical logic and type theory : to truth through proof

Andrews, P. B. (Peter Bruce), 1937-

Academic Press
5 図書 Types and programming languages

Pierce, Benjamin C.

MIT Press
11 図書 Interaction design : beyond human-computer interaction

Rogers, Yvonne, Sharp, Helen, Preece, Jenny, 1949-

J. Wiley
6 図書 Advanced topics in types and programming languages

Pierce, Benjamin C.

MIT Press
12 図書 Data types and structures

Gotlieb, C. C., Gotlieb, L. R., 1950-

Prentice-Hall