Lectures on the Curry-Howard isomorphism

タイトルと所在が表示されます

フォーマット:

図書

責任表示:

Morten Heine Sørensen, Paweł Urzyczyn

言語:

英語

出版情報:

Amsterdam ; Tokyo : Elsevier, 2006

形態:

xiv, 442 p. ; 24 cm

著者名:

シリーズ名:

書誌ID:

BA78446362

ISBN:

9780444520777 [0444520775]

子書誌情報

所蔵情報

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

詳細

主題:	Curry-Howard isomorphism; Lambda calculus; Proof theory
分類・件名:	LCC : QA9.54 DC22 : 511.3/26 LCSH : Curry-Howard isomorphism LCSH : Lambda calculus LCSH : Proof theory
LCCN:	2006048390
注記:	Bibliography: p. 403-430 Includes index
TTLL:	eng

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Introduction to combinators and λ-calculus Hindley, J. Roger, Seldin, Jonathan P Cambridge University Press	7 図書 Isomorphisms between H[1] spaces Müller, P. F. X. Birkhäuser
2 図書 The lambda calculus : its syntax and semantics Barendregt, H. P. (Hendrik Pieter), 1947- North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub.	8 図書 Lectures on orthogonal polynomials and special functions : sixth summer school, Maryland, 2016 Cohl, Howard S., Ismail, Mourad, 1944- Cambridge University Press
3 図書 Beweistheorie Schütte, K. (Kurt) Springer	9 図書 The English peasantry in the later Middle Ages : the Ford lectures for 1973 and related studies Hilton, R. H. (Rodney Howard), 1916- Clarendon Press
4 図書 Language in action : categories, lambdas and dynamic logic Benthem, J. F. A. K. van, 1949- North-Holland, Distirbutors for the United States and Canada, Elsevier Science Publishing Company Inc.	10 図書 Inside view : three lectures on prime ministerial government Crossman, R. H. S. (Richard Howard Stafford), 1907-1974 Cape
5 図書 Handbook of proof theory Buss, Samuel R. Elsevier	11 図書 Nonstoichiometric oxides Sørensen, O. Toft Academic Press
6 図書 Statistical learning with sparsity : the lasso and generalizations Hastie, T. J, Tibshirani, R. J., Wainwright, Martin (Martin J.) CRC Press, Taylor & Francis Group	12 図書 Thought experiments Sorensen, Roy A. Oxford University Press