Cargando…

The calculi of lambda conversion (AM-6)

Detalles Bibliográficos
Autor principal:	Church, Alonzo
Lenguaje:	eng
Publicado:	Princeton University Press 1985
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/2241612

Ejemplares similares

Differential calculi on finite groups
por: Castellani, L
Publicado: (2000)

Gentzen Calculi for Modal Propositional Logic
por: Poggiolesi, Francesca
Publicado: (2011)

Introduction to mathematical logic
por: Church, Alonzo
Publicado: (1956)

Proof theory : sequent calculi and related formalisms
por: Bimbó, Katalin
Publicado: (2015)

A note on bidifferential calculi and bihamiltonian systems
por: Guha, P
Publicado: (2000)

Existence families, functional calculi and evolution equations
por: deLaubenfels, Ralph
Publicado: (1994)

Automorphic pseudodifferential analysis and higher level Weyl calculi
por: Unterberger, André
Publicado: (2003)

More results about differential calculi on the quantum superplane
por: El-Hassouni, A, et al.
Publicado: (1995)

Lambda calculus with types
por: Barendregt, Henk, et al.
Publicado: (2013)

Classification of bicovariant differential calculi on quantum general linear groups
por: Schmüdgen, K
Publicado: (1994)

Sequents and trees: an introduction to the theory and applications of propositional sequent calculi
por: Indrzejczak, Andrzej
Publicado: (2021)

AMS Sectional Meeting
por: Bilyk, Dmitriy, et al.
Publicado: (2013)

On knots (AM-115)
por: Kauffman, Louis H
Publicado: (1988)

Computing the homology of the lambda algebra
por: Tangora, Martin C
Publicado: (1985)

Moments, monodromy, and perversity (AM-159): a Diophantine perspective (AM-159)
por: Katz, Nicholas M
Publicado: (2005)

Classification of left-covariant differential calculi on the quantum group $SL_{q}(2)$
por: Heckenberger, I
Publicado: (2000)

Descent in buildings (AM-190)
por: Mühlherr, Bernhard, et al.
Publicado: (2015)

Degrees of unsolvability (AM-55)
por: Sacks, Gerald E
Publicado: (1964)

Fourier transforms (AM-19)
por: Bochner, Salomon, et al.
Publicado: (1949)

Characteristic classes (AM-76)
por: Milnor, John W, et al.
Publicado: (1974)

Topics in topology (AM-10)
por: Lefschetz, Solomon
Publicado: (1942)

Surface area (AM-35)
por: Cesari, Lamberto
Publicado: (1957)

Transcendental numbers (AM-16)
por: Siegel, Carl Ludwig
Publicado: (1950)

Automorphic strings vs. $\Lambda$-strings
por: Zaganescu, M
Publicado: (1996)

The lambda calculus: its syntax and semantics
por: Barendregt, Hendrick Pieter
Publicado: (1984)

Infinite loop spaces (AM-90): Hermann Weyl lectures, the institute for advanced study (AM-90)
por: Adams, John Frank
Publicado: (1978)

Lectures on differential equations (AM-14)
por: Lefschetz, Solomon
Publicado: (1985)

K-theory of forms (AM-98)
por: Bak, Anthony
Publicado: (1982)

Seminar on minimal submanifolds (AM-103)
por: Bombieri, Enrico
Publicado: (1984)

Seminar on differential geometry (AM-102)
por: Yau, Shing-Tung
Publicado: (1982)

Lectures on fourier integrals (AM-42)
por: Bochner, Salomon, et al.
Publicado: (1959)

Combinatorics of train tracks (AM-125)
por: Penner, R C, et al.
Publicado: (1992)

An extension of Casson's invariant (AM-126)
por: Walker, Kevin
Publicado: (1992)

The real Fatou conjecture (AM-144)
por: Graczyk, Jacek, et al.
Publicado: (2014)

Consistency of the continuum hypothesis (AM-3)
por: Gödel, Kurt
Publicado: (1940)

Contributions to Fourier analysis (AM-25)
por: Zygmund, Antoni, et al.
Publicado: (1950)

Advances in game theory (AM-52)
por: Dresher, Melvin, et al.
Publicado: (1964)

Flows on homogeneous spaces (AM-53)
por: Auslander, Louis, et al.
Publicado: (1963)

Seminar on transformation groups (AM-46)
por: Borel, Armand, et al.
Publicado: (1960)

Lectures on modular forms (AM-48)
por: Gunning, Robert C
Publicado: (1962)

Cannot write session to /tmp/vufind_sessions/sess_bkbor8k09m3dp7j5kjn3kojq41