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

Date Last Update

Notice

이용방법 $file$

FROM CATEGORIES TO HOMOTOPY THEORY.

CHARACTER THEORY OF FINITE GROUPS OF LIE TYPE: A GUIDED TOUR.

BELLMAN FUNCTION TECHNIQUE IN HARMONIC ANALYSIS.

FOUNDATIONS OF STABLE HOMOTOPY THEORY.

FOURIER RESTRICTION, DECOUPLING, AND APPLICATIONS.

DERIVED CATEGORIES.

TOEPLITZ MATRICES AND OPERATORS.

HIGHER CATEGORIES AND HOMOTOPICAL ALGEBRA.

THEORY OF HARDY SPACES.

Lectures on Selected Topics in Von Neumann Algebras

Geometry and Topology of Surfaces

Classification of Complex Algebraic Surfaces

HIGHER INDEX THEORY.

Mackey 2-Functors and Mackey 2-Motives

Accuracy of Mathematical Models : Dimension Reduction, Homogenization, and Simplification

From the Vlasov–Maxwell–Boltzmann System to Incompressible Viscous Electro-magneto-hydrodynamics : Volume 1

Function Theory and $ℓ^{p}$ Spaces

Advances in Representation Theory of Algebras

Characters in Low-Dimensional Topology

First Page 1 2 3 4 5 6 7 8 9 10 Last Page

도서관 서비스