Cover Image

Lectures on the Curry-Howard isomorphism.

Saved in:

Bibliographic Details
Main Authors:	Sørensen, Morten Heine (Author), Urzyczyn, Paweł (Author)
Format:	Book
Language:	English
Published:	Amsterdam, The Netherlands; Boston, USA: Elsevier, 2006.
Edition:	First edition.
Series:	Studies in logic and the foundations of mathematics, vol. 149
Subjects:	Isomorfismo de Curry-Howard. Cálculo lambda
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Las grandes fotografías.
by: McCurry, Steve
Published: (2013)

Lovecraft: El manuscrito olvidado.
by: Lovecraft, Howard Phillips
Published: (2007)

¡Grabando!
by: Howard, Mark
Published: (2021)

Symplectic groups
by: O'Meara, O. T. (Onorato Timothy)
Published: (1978)

Lectures on Freshman calculus
by: Cruse, Allan B, et al.
Published: (1971)

Groups -St. Andrews 1981
by: Campbell, C. M, et al.
Published: (1982)

Introduction à la théorie des hypergraphes
by: Berge, Claude
Published: (1973)

An introduction to diferential algebra
by: Kaplansky, Irving
Published: (1957)

Groups - Korea 1983
by: Kim, A. C, et al.
Published: (1984)

Graph theory and computing
Published: (1969)

Introduction to the theory of finite groups
by: Ledermann, Walter
Published: (1964)

Introducción a la teoría de grupos finitos
by: Ledermann, Walter
Published: (1900)

New directions in the theory of graphs
by: Harary, Frank
Published: (1973)

Introducción a la teoría de los grupos
by: Alexandroff, Pavel Sergeevich
Published: (1971)

A course in universal algebra
by: Burris, Stanley, et al.
Published: (1981)

Topics in modern operator theory
by: Apostol, C
Published: (1981)

An introduction to ergodic theory
by: Walters, Peter
Published: (1982)

Lectures on Tensor Calculus and Differential Geometry
by: Gerretsen, Johan C. H
Published: (1962)

Eléments de théorie des groupes
by: Calais, Josette
Published: (1996)

Modèles finis
by: Myx, André
Published: (1973)

The Story of Howard the Halt
by: Anónimo
Published: (1891)

First course in group theory
by: Bhattacharya, P. B, et al.
Published: (1972)

The theory of groups
by: Hall, Marshall
Published: (1959)

Introduçao a teoria dos grupos
by: Azevedo, Alberto, et al.
Published: (1969)

Tres estudios literarios
by: Brizuela Aybar, Eduardo
Published: (1983)

Arreglos numéricos, transformaciones de figuras geométricas y comportamientos de las funciones como recursos del álgebra abstracta
by: Cordero Osorio, Francisco, et al.
Published: (2010)

Cycles in graphs
by: Alspach, B. R, et al.
Published: (1985)

Bounded integral operators on L2 spaces
by: Halmos, Paul Richard, et al.
Published: (1978)

Lectures on the theory of elliptic functions analysis
by: Hancock, Harris
Published: (1958)

Study guide for Howard H. Kendler's basic psychology
by: Kendler, Tracy S
Published: (1963)

Los mejores relatos de terror
by: Molina Cardona, Mauricio
Published: (1998)

Henry the Eight
by: Hackett, Francis
Published: (1929)

Mississippi: the closed society
by: Silver, James W
Published: (1966)

Cálculo diferencial e integral.
by: Purcell, Edwin J.
Published: (2007)

Introduction to group theory
by: Schwerdtfeger, Hans
Published: (1976)

Introduction to calculus
by: Baker, C. C
Published: (1965)

Problemas de cálculo y análisis matemático del courant
by: Blank, Albert A
Published: (2002)

Elements of the differential and integral calculus
by: Granville, William Anthony, et al.
Published: (1933)

Calculus made easy. Being a very-simplest introduction to those beautiful methods of reckoning which are generally called by the terrifying names of the differential calculus and the integral calculus.
by: Thompson, Silvanus P, et al.
Published: (1998)

A course of pure mathematics
by: Hardy, Godfrey Harold
Published: (1960)