Đang tải...

Mã QR

Proofs and types /

Chi tiết về thư mục
Tác giả chính:	Girard, Jean-Yves
Định dạng:	Printed Book
Ngôn ngữ:	English
Được phát hành:	Cambridge [England] ; New York : Cambridge University Press, 1989.
Những chủ đề:	Lambda calculus.

Những quyển sách tương tự

Lambda-calculus and combinators, an introduction /
Bằng: Hindley, J. Roger
Được phát hành: (2008)

Lambda-calculus and combinators, an introduction /
Bằng: Hindley, J. Roger
Được phát hành: (2008)

Income modeling using quantile functions(Thesis)
Bằng: Haritha N Haridas
Được phát hành: (2007)

Estimation of lifetime characteristics using generalized LAMBDA distribution (PhD Thesis) /
Được phát hành: (2008)

Java SE 8 for the really impatient/
Bằng: Horstmann,Cay S.
Được phát hành: (2015)

A Genetic switch: phage and higher organisms
Bằng: Ptashne, Mark
Được phát hành: (1992)

Handbook of fitting statistical distributions with R
Bằng: Karian, Zaven A
Được phát hành: (2011)

Genetic material
Bằng: Gurbachan S Miglani
Được phát hành: (2013)

A HANDBOOK OF GENETIC ENGINEERING
Bằng: ROY, UTPAL, et al.
Được phát hành: (2007)

Type theory and formal proof : an introduction /
Bằng: Nederpelt, R. P. (Rob P.), et al.
Được phát hành: (2014)

Cultural foundations of mathematics: the nature of mathematical proof and transmission of the calculus from India to Europe in the 16th c CE
Bằng: Chattopadhyaya, D P; Editor, et al.
Được phát hành: (2007)

Mechanics, tensors & virtual works /
Bằng: Talpaert, Yves
Được phát hành: (2008)

Theory and problems of advanced calculus /
Bằng: Wrede, Robert C.
Được phát hành: (2010)

Theory and problems of advanced calculus /
Bằng: Wrede, Robert
Được phát hành: (2009)

Calculus 2 v. v.1 One variable calculus, with an introduction to linear algebra /
Bằng: Apostol, Tom M.
Được phát hành: (2009)

Calculus with early transcendental functions /
Bằng: Stewart, James
Được phát hành: (2009)

Calculus /
Bằng: Thomas, George B.
Được phát hành: (2009)

Calculus 2v.v.2 multi-variable calculus and linear algebra, with applications to differential equati /
Bằng: Apostol, Tom M.
Được phát hành: (2010)

Calculus : an introductory approach
Bằng: Niven, Ivan

Adapting proofs-as-program: the curry-howard protocol
Bằng: Poernomo, Iman Hafiz
Được phát hành: (2005)

Calculus for scientists and engineers: an analytical approach
Bằng: Joshi, K. D.
Được phát hành: (2002)

Integral calculus
Bằng: Shanti Narayan
Được phát hành: (2005)

Calculus /
Bằng: Anton, Howard
Được phát hành: (2010)

Elementary analysis: the theory of calculus /
Bằng: Ross, Kenneth.A
Được phát hành: (2004)

Calculus for the ambitious /
Bằng: Körner, T. W.
Được phát hành: (2014)

Advanced calculus
Bằng: Widder, David V.
Được phát hành: (1971)

Calculus /
Bằng: Spivak, Michael
Được phát hành: (1973)

Selected papers on calculus
Bằng: Apostol, Tom P
Được phát hành: (1969)

Advanced calculus
Bằng: Kaplan, Wilfred
Được phát hành: (1973)

Advanced calculus
Bằng: Nickerson, H K
Được phát hành: (1959)

Introduction to infinitestimal calculus with applications to mechanics and physics
Bằng: Caunt, G.W
Được phát hành: (1964)

An Introduction to Numerical Analysis
Bằng: Atkinson, Kendall E
Được phát hành: (1989)

Topics in Functional Analysis and Applications
Bằng: Kesavan, S
Được phát hành: (1989)

Numerical Methods for Scientific & Engineering Computation
Bằng: Jain, M K
Được phát hành: (1989)

Functional Analysis with Applications
Bằng: Choudhary, B
Được phát hành: (1989)

Topics in Functional Analysis and Applications
Bằng: Kesavan, S
Được phát hành: (1989)

Principal Components Analysis
Bằng: Dunteman, George H
Được phát hành: (1989)

Introduction to Calculus and Analysis. Vol II
Bằng: Courant, Richard
Được phát hành: (1989)

Direct methods in the calculus of variations /
Bằng: Dacorogna, Bernard
Được phát hành: (1989)

Schaum's outline of theory and problems of differential and integral calculus in si metric units /
Bằng: Ayres, Frank
Được phát hành: (1989)