Articles 345

Lambda Calculus with Types

librarian

2015.04.07 14:06:30 (*.46.129.241)

1836

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$

List

No.	Subject
Notice	이용방법 $file$
65		Periodic Homogenization of Elliptic Systems $file$
65
64	Foundations of Cryptography Volume 2
64	.
63		A Concise Introduction to the Theory of Numbers $file$
63
62	Topological and Ergodic Theory of Symbolic Dynamics
62	2023.02.14. QSMS E-book No.24
61		Icons of Mathematics: An Exploration of Twenty Key Images $file$
61
60		Crop Breeding : Bioinformatics and Preparing for Climate Change $file$
60
59		Biomat 2015 - International Symposium On Mathematical And Computational Biology $file$
59
58	Advances in Elliptic Curve Cryptography
58	.
57		Handbook of Teichmüller Theory, Volume VII $file$
57
56		Elementary Geometry of Algebraic Curves: An Undergraduate Introduction $file$
56
55		Biostatistics in Public Health Using STATA $file$
55
54	Orthogonal Polynomials in the Spectral Analysis of Markov Processes
54	2023.02.14. QSMS E-book No.32
53		Calculus of Thought : Neuromorphic Logistic Regression in Cognitive Machines $file$
53
52	Advances in Cryptology – CRYPTO 2021 : 41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 16–20, 2021, Proceedings, Part II
52	2022.07.01. IMDARC E-book No.1
		Lambda Calculus with Types $file$

50		Kurt Gödel and the Foundations of Mathematics: Horizons of Truth $file$
50
49		Mathematical Formulas for Industrial and Mechanical Engineering $file$
49
48	The Theory of Information and Coding
48	.
47		Handbook on Systemic Risk $file$
47
46	Geometric Analysis
46	.

First Page 9 10 11 12 13 14 15 16 17 18 Last Page

도서관 서비스