封面圖片

Lectures on the Curry-Howard isomorphism.

Saved in:

書目詳細資料
Main Authors:	Sørensen, Morten Heine (Author), Urzyczyn, Paweł (Author)
格式:	圖書
語言:	英语
出版:	Amsterdam, The Netherlands; Boston, USA: Elsevier, 2006.
版:	First edition.
叢編:	Studies in logic and the foundations of mathematics, vol. 149
主題:	Isomorfismo de Curry-Howard. Cálculo lambda
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Las grandes fotografías.
由: McCurry, Steve
出版: (2013)

Lovecraft: El manuscrito olvidado.
由: Lovecraft, Howard Phillips
出版: (2007)

¡Grabando!
由: Howard, Mark
出版: (2021)

Symplectic groups
由: O'Meara, O. T. (Onorato Timothy)
出版: (1978)

Lectures on Freshman calculus
由: Cruse, Allan B, et al.
出版: (1971)

Groups -St. Andrews 1981
由: Campbell, C. M, et al.
出版: (1982)

Introduction à la théorie des hypergraphes
由: Berge, Claude
出版: (1973)

An introduction to diferential algebra
由: Kaplansky, Irving
出版: (1957)

Groups - Korea 1983
由: Kim, A. C, et al.
出版: (1984)

Graph theory and computing
出版: (1969)

Introduction to the theory of finite groups
由: Ledermann, Walter
出版: (1964)

Introducción a la teoría de grupos finitos
由: Ledermann, Walter
出版: (1900)

New directions in the theory of graphs
由: Harary, Frank
出版: (1973)

Introducción a la teoría de los grupos
由: Alexandroff, Pavel Sergeevich
出版: (1971)

A course in universal algebra
由: Burris, Stanley, et al.
出版: (1981)

Topics in modern operator theory
由: Apostol, C
出版: (1981)

An introduction to ergodic theory
由: Walters, Peter
出版: (1982)

Lectures on Tensor Calculus and Differential Geometry
由: Gerretsen, Johan C. H
出版: (1962)

Eléments de théorie des groupes
由: Calais, Josette
出版: (1996)

Modèles finis
由: Myx, André
出版: (1973)

The Story of Howard the Halt
由: Anónimo
出版: (1891)

First course in group theory
由: Bhattacharya, P. B, et al.
出版: (1972)

The theory of groups
由: Hall, Marshall
出版: (1959)

Introduçao a teoria dos grupos
由: Azevedo, Alberto, et al.
出版: (1969)

Tres estudios literarios
由: Brizuela Aybar, Eduardo
出版: (1983)

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

Cycles in graphs
由: Alspach, B. R, et al.
出版: (1985)

Bounded integral operators on L2 spaces
由: Halmos, Paul Richard, et al.
出版: (1978)

Lectures on the theory of elliptic functions analysis
由: Hancock, Harris
出版: (1958)

Study guide for Howard H. Kendler's basic psychology
由: Kendler, Tracy S
出版: (1963)

Los mejores relatos de terror
由: Molina Cardona, Mauricio
出版: (1998)

Henry the Eight
由: Hackett, Francis
出版: (1929)

Mississippi: the closed society
由: Silver, James W
出版: (1966)

Cálculo diferencial e integral.
由: Purcell, Edwin J.
出版: (2007)

Introduction to group theory
由: Schwerdtfeger, Hans
出版: (1976)

Introduction to calculus
由: Baker, C. C
出版: (1965)

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

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

A course of pure mathematics
由: Hardy, Godfrey Harold
出版: (1960)