Imagen de Portada

Lambda calculus with types /

Guardado en:

Autor Principal:	Barendregt, H. P.
Otros Autores:	Dekkers, Wil., Statman, Richard.
Formato:	Libro
Idioma:	English
Publicado:	Cambridge ; New York : Cambridge University Press, 2013.
Series:	Perspectives in logic.
Materias:	Lambda calculus.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Lambda calculi : a guide for the perplexed /
por: Hankin, Chris.
Publicado: (1994)

Lectures on the Curry-Howard isomorphism /
por: Sørensen, Morten Heine.
Publicado: (2006)

Language in action : categories, lambdas, and dynamic logic /
por: Benthem, J. F. A. K. van, 1949-
Publicado: (1995)

History and philosophy of constructive type theory /
por: Sommaruga, Giovanni.
Publicado: (2010)

Calculus /
por: Marsden, Jerrold E.
Publicado: (1985)

Advanced calculus /
por: Loomis, Lynn H., 1915-
Publicado: (1968)

Advanced calculus of several variables /
por: Edwards, C. H. 1937-
Publicado: (1973)

Elementary calculus /
por: Masani, Pesi Rustom.
Publicado: (1965)

Calculus explained /
por: Reichmann, W. J.
Publicado: (1969)

Advanced calculus /
por: Taylor, Angus E. 1911-1999.
Publicado: (1983)

Calculus : one and several variables, with analytic geometry /
por: Salas, Saturnino L.
Publicado: (1986)

Handbook of satisfiability /
Publicado: (2009)

Excursions in calculus : an interplay of the continuous and the discrete /
por: Young, Robert M.
Publicado: (1992)

What is calculus about? /
por: Sawyer, W. W. 1911-
Publicado: (1961)

Calculus with applications and computing /
por: Lax, Peter D.
Publicado: (1976)

Advanced calculus : a differential forms approach /
por: Edwards, Harold M.
Publicado: (1994)

Student's guide to Calculus by J. Marsden and A. Weinstein.
por: Soon, Frederick H.
Publicado: (1985)

The historical development of the calculus /
por: Edwards, C. H. 1937-
Publicado: (1979)

Calculus of variations /
por: Bliss, Gilbert Ames, 1876-1951.
Publicado: (1925)

The calculus of variations /
por: Van Brunt, B.
Publicado: (2004)

Advanced calculus /
por: Nickerson, H. K. 1918-
Publicado: (1959)

Much ado about calculus : a modern treatment with applications prepared for use with the computer /
por: Wilson, Robert Lee, 1917-
Publicado: (1979)

Calculus : a graphing approach /
Publicado: (1993)

Basic calculus : from Archimedes to Newton to its role in science /
por: Hahn, Alexander, 1943-
Publicado: (1998)

Vector calculus /
por: Marsden, Jerrold E.
Publicado: (1988)

Readings for calculus /
Publicado: (1993)

Advanced calculus /
por: Buck, R. Creighton 1920-
Publicado: (1965)

Calculus on manifolds : a modern approach to classical theorems of advanced calculus /
por: Spivak, Michael.
Publicado: (1965)

Applied calculus : a goals approach /
por: Hockett, Shirley O.
Publicado: (1979)

Calculus : with analytic geometry and linear algebra /
por: Toralballa, Leopoldo V.
Publicado: (1967)

Convexity methods in variational calculus /
por: Smith, Peter, 1935-
Publicado: (1985)

Differential geometry and the calculus of variations /
por: Hermann, Robert, 1931-
Publicado: (1977)

Analytic geometry and the calculus /
por: Goodman, A. W. 1915-
Publicado: (1963)

Introduction to calculus and analysis /
por: Courant, Richard, 1888-1972.
Publicado: (1965)

Multiple integrals in the calculus of variations /
por: Morrey, Charles Bradfield, 1907-
Publicado: (1966)

The topology of the calculus of variations in the large /
por: Liusternik, L. A. 1899-
Publicado: (1966)

Dynamic programming and the calculus of variations /
por: Dreyfus, Stuart E.
Publicado: (1965)

Calculus and analytic geometry /
por: Fisher, Robert Charles, 1926-
Publicado: (1965)

The calculus of variations and optimal control : an introduction /
por: Leitmann, George.
Publicado: (1981)

An introduction to Riemannian geometry and the tensor calculus /
por: Weatherburn, C. E. 1884-1974.
Publicado: (1938)