صورة الغلاف

Lectures on the Curry-Howard isomorphism.

محفوظ في:

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون:	Sørensen, Morten Heine (مؤلف), Urzyczyn, Paweł (مؤلف)
التنسيق:	كتاب
اللغة:	الإنجليزية
منشور في:	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, وآخرون
منشور في: (1971)

Groups -St. Andrews 1981
حسب: Campbell, C. M, وآخرون
منشور في: (1982)

Introduction à la théorie des hypergraphes
حسب: Berge, Claude
منشور في: (1973)

An introduction to diferential algebra
حسب: Kaplansky, Irving
منشور في: (1957)

Groups - Korea 1983
حسب: Kim, A. C, وآخرون
منشور في: (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, وآخرون
منشور في: (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, وآخرون
منشور في: (1972)

The theory of groups
حسب: Hall, Marshall
منشور في: (1959)

Introduçao a teoria dos grupos
حسب: Azevedo, Alberto, وآخرون
منشور في: (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, وآخرون
منشور في: (2010)

Cycles in graphs
حسب: Alspach, B. R, وآخرون
منشور في: (1985)

Bounded integral operators on L2 spaces
حسب: Halmos, Paul Richard, وآخرون
منشور في: (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, وآخرون
منشور في: (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, وآخرون
منشور في: (1998)

A course of pure mathematics
حسب: Hardy, Godfrey Harold
منشور في: (1960)