Imatge de la portada

Lectures on the Curry-Howard isomorphism.

Guardat en:

Dades bibliogràfiques
Autors principals:	Sørensen, Morten Heine (Autor), Urzyczyn, Paweł (Autor)
Format:	Llibre
Idioma:	anglès
Publicat:	Amsterdam, The Netherlands; Boston, USA: Elsevier, 2006.
Edició:	First edition.
Col·lecció:	Studies in logic and the foundations of mathematics, vol. 149
Matèries:	Isomorfismo de Curry-Howard. Cálculo lambda
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

Las grandes fotografías.
per: McCurry, Steve
Publicat: (2013)

Lovecraft: El manuscrito olvidado.
per: Lovecraft, Howard Phillips
Publicat: (2007)

¡Grabando!
per: Howard, Mark
Publicat: (2021)

Symplectic groups
per: O'Meara, O. T. (Onorato Timothy)
Publicat: (1978)

Lectures on Freshman calculus
per: Cruse, Allan B, et al.
Publicat: (1971)

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

Introduction à la théorie des hypergraphes
per: Berge, Claude
Publicat: (1973)

An introduction to diferential algebra
per: Kaplansky, Irving
Publicat: (1957)

Groups - Korea 1983
per: Kim, A. C, et al.
Publicat: (1984)

Graph theory and computing
Publicat: (1969)

Introduction to the theory of finite groups
per: Ledermann, Walter
Publicat: (1964)

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

New directions in the theory of graphs
per: Harary, Frank
Publicat: (1973)

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

A course in universal algebra
per: Burris, Stanley, et al.
Publicat: (1981)

Topics in modern operator theory
per: Apostol, C
Publicat: (1981)

An introduction to ergodic theory
per: Walters, Peter
Publicat: (1982)

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

Eléments de théorie des groupes
per: Calais, Josette
Publicat: (1996)

Modèles finis
per: Myx, André
Publicat: (1973)

The Story of Howard the Halt
per: Anónimo
Publicat: (1891)

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

The theory of groups
per: Hall, Marshall
Publicat: (1959)

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

Tres estudios literarios
per: Brizuela Aybar, Eduardo
Publicat: (1983)

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

Cycles in graphs
per: Alspach, B. R, et al.
Publicat: (1985)

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

Lectures on the theory of elliptic functions analysis
per: Hancock, Harris
Publicat: (1958)

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

Los mejores relatos de terror
per: Molina Cardona, Mauricio
Publicat: (1998)

Henry the Eight
per: Hackett, Francis
Publicat: (1929)

Mississippi: the closed society
per: Silver, James W
Publicat: (1966)

Cálculo diferencial e integral.
per: Purcell, Edwin J.
Publicat: (2007)

Introduction to group theory
per: Schwerdtfeger, Hans
Publicat: (1976)

Introduction to calculus
per: Baker, C. C
Publicat: (1965)

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

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

A course of pure mathematics
per: Hardy, Godfrey Harold
Publicat: (1960)