글 수 345

Lambda Calculus with Types

librarian

2015.04.07 14:06:30 (*.46.129.241)

1825

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$
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$

118		Kurt Gödel and the Foundations of Mathematics: Horizons of Truth $file$
118
117		Icons of Mathematics: An Exploration of Twenty Key Images $file$
117
116		Hydrodynamic Instabilities $file$
116
115		High Accuracy Computing Methods: Fluid Flows and Wave Phenomena $file$
115
114		Handbook on Systemic Risk $file$
114
113		Financial Enterprise Risk Management $file$
113
112		Filtering Complex Turbulent Systems $file$
112
111		Direct Numerical Simulations of Gas–Liquid Multiphase Flows $file$
111
110		Cox Rings $file$
110
109		Convexity: An Analytic Viewpoint $file$
109
108		Convex Bodies: The Brunn–Minkowski Theory, 2nd ed. $file$
108
107		Analytic Combinatorics $file$
107
106		All the Mathematics You Missed: But Need to Know for Graduate School $file$
106