글 수 345

Lambda Calculus with Types

librarian

2015.04.07 14:06:30 (*.46.129.241)

2309

ISBN	9781139032636
Author	Henk Barendregt, Wil Dekkers, Richard Statman
Publisher	Cambridge University Press
DOI-based URL	http://dx.doi.org/10.1017/CBO9781139032636

$+-+189405203_400.jpg$

번호	제목
공지	이용방법 $file$
305		Convex Bodies: The Brunn–Minkowski Theory, 2nd ed. $file$
305
304	Mathematics of Public Key Cryptography
304	.
303		The Influence of Computers and Informatics on Mathematics and its Teaching $file$
303
302		A Voyage Through Turbulence $file$
302
301		Multiscale Stochastic Volatility for Equity, Interest Rate, and Credit Derivatives $file$
301
300		Geometry from a Differentiable Viewpoint, 2nd ed. $file$
300
		Lambda Calculus with Types $file$

298	Algebraic Shift Register Sequences
298	.
297		Filtering Complex Turbulent Systems $file$
297
296		Alan M. Turing: Centenary Edition $file$
296
295	Geometric Analysis
295	.
294		Handbook on Systemic Risk $file$
294
293		High Accuracy Computing Methods: Fluid Flows and Wave Phenomena $file$
293
292	A Computational Introduction to Number Theory and Algebra
292	.
291		Linear Analysis: An Introductory Course, 2nd ed. $file$
291
290		An Introduction to Fourier Analysis and Generalised Functions $file$
290
289		A Concise Introduction to the Theory of Numbers $file$
289
288		Partial Differential Equations $file$
288
287		An Introduction to Hilbert Space $file$
287
286	Algebraic Number Theory
286	.