Lambda-calcul

Topic : Lambda-calcul
Source file : RAMEAU
Field : Mathématiques
Variant subject headings : Calcul lambda

related to this theme (4 resources in data.bnf.fr)

Documents on this topic (39 resources in data.bnf.fr)

Books (39)

Typed lambda calculi and applications
Typed lambda calculi and applications
Typed lambda calculi and applications
Pattern calculus
Lambda-calculus and combinators, an introduction
Lectures on the Curry-Howard isomorphism
Typed Lambda Calculi and Applications
Processes, terms and cycles
Typed lambda calculi and applications
A modern perspective on type theory
Typed lambda calculi and applications
Typed lambda calculi and applications
Derivation and computation
Typed lambda calculi and applications
Typed Lambda Calculi and Applications
Domains and lambda-calculi
Typed Lambda Calculi and Applications
Sémantique du temps et lambda-calcul
Typed Lambda Calculi and Applications
Mathematical theory of domains
Selected papers on Automath
Selected papers on Automath
Categories for types
Typed Lambda Calculi and Applications
Categorical combinators, sequential algorithms and functional programming
Language in action
Lambda-calcul
Introduction to combinators and [lamda]-calculus
ESOP'90
Lambda-calculus combinators, and functional programming
Résultats de confluence pour les règles fortes de la logique combinatoire catégorique et liens avec les lambda-calculs
Logic colloquium '82
The Lambda calculus
The lambda calculus
Logic colloquium 82
A bibliography of Lambda-calculi, combinatory logics and related topics
Lambda-conversion and logic
The Lambda calculus
Proceedings of the third Scandinavian Logic Symposium

Authors linked with this theme (20 resources in data.bnf.fr)

See also