Imaxe de Portada

Lectures on the Curry-Howard isomorphism.

Gardado en:

Detalles Bibliográficos
Main Authors:	Sørensen, Morten Heine (Author), Urzyczyn, Paweł (Author)
Formato:	Libro
Idioma:	inglés
Publicado:	Amsterdam, The Netherlands; Boston, USA: Elsevier, 2006.
Edición:	First edition.
Series:	Studies in logic and the foundations of mathematics, vol. 149
Subjects:	Isomorfismo de Curry-Howard. Cálculo lambda
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Títulos similares

Las grandes fotografías.
por: McCurry, Steve
Publicado: (2013)

Lovecraft: El manuscrito olvidado.
por: Lovecraft, Howard Phillips
Publicado: (2007)

¡Grabando!
por: Howard, Mark
Publicado: (2021)

Symplectic groups
por: O'Meara, O. T. (Onorato Timothy)
Publicado: (1978)

Lectures on Freshman calculus
por: Cruse, Allan B, et al.
Publicado: (1971)

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

Introduction à la théorie des hypergraphes
por: Berge, Claude
Publicado: (1973)

An introduction to diferential algebra
por: Kaplansky, Irving
Publicado: (1957)

Groups - Korea 1983
por: Kim, A. C, et al.
Publicado: (1984)

Graph theory and computing
Publicado: (1969)

Introduction to the theory of finite groups
por: Ledermann, Walter
Publicado: (1964)

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

New directions in the theory of graphs
por: Harary, Frank
Publicado: (1973)

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

A course in universal algebra
por: Burris, Stanley, et al.
Publicado: (1981)

Topics in modern operator theory
por: Apostol, C
Publicado: (1981)

An introduction to ergodic theory
por: Walters, Peter
Publicado: (1982)

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

Eléments de théorie des groupes
por: Calais, Josette
Publicado: (1996)

Modèles finis
por: Myx, André
Publicado: (1973)

The Story of Howard the Halt
por: Anónimo
Publicado: (1891)

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

The theory of groups
por: Hall, Marshall
Publicado: (1959)

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

Tres estudios literarios
por: Brizuela Aybar, Eduardo
Publicado: (1983)

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

Cycles in graphs
por: Alspach, B. R, et al.
Publicado: (1985)

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

Lectures on the theory of elliptic functions analysis
por: Hancock, Harris
Publicado: (1958)

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

Los mejores relatos de terror
por: Molina Cardona, Mauricio
Publicado: (1998)

Henry the Eight
por: Hackett, Francis
Publicado: (1929)

Mississippi: the closed society
por: Silver, James W
Publicado: (1966)

Cálculo diferencial e integral.
por: Purcell, Edwin J.
Publicado: (2007)

Introduction to group theory
por: Schwerdtfeger, Hans
Publicado: (1976)

Introduction to calculus
por: Baker, C. C
Publicado: (1965)

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

Elements of the differential and integral calculus
por: Granville, William Anthony, et al.
Publicado: (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.
por: Thompson, Silvanus P, et al.
Publicado: (1998)

A course of pure mathematics
por: Hardy, Godfrey Harold
Publicado: (1960)