글 수 358

Lambda Calculus with Types

librarian

2015.04.07 14:06:30 (*.46.129.241)

2358

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$
138		Linear Partial Differential Equations and Fourier Theory $file$
138
137		Linear Analysis: An Introductory Course, 2nd ed. $file$
137
136		Geometry from a Differentiable Viewpoint, 2nd ed. $file$
136
135		Elementary Geometry of Differentiable Curves: An Undergraduate Introduction $file$
135
134		Elementary Geometry of Algebraic Curves: An Undergraduate Introduction $file$
134
133		An Introduction to Hilbert Space $file$
133
132		An Introduction to Fourier Analysis and Generalised Functions $file$
132
131		A Primer of Analytic Number Theory: From Pythagoras to Riemann $file$
131
130		A Course in Modern Analysis and its Applications $file$
130
129		A Concise Introduction to the Theory of Numbers $file$
129
128		Undergraduate Mathematics for the Life Sciences: Models, Processes, and Directions $file$
128
127		Topics in Matrix Analysis $file$
127
126		Moduli Spaces $file$
126
125		The Influence of Computers and Informatics on Mathematics and its Teaching $file$
125
124		Six Sources of Collapse: A Mathematician's Perspective on How Things Can Fall Apart in the Blink of an Eye $file$
124
123		Recent Developments on Introducing a Historical Dimension in Mathematics Education $file$
123
122		Random Graphs, 2nd ed. $file$
122
121		Quasiconformal Surgery in Holomorphic Dynamics $file$
121
120		Multiscale Stochastic Volatility for Equity, Interest Rate, and Credit Derivatives $file$
120
		Lambda Calculus with Types $file$