𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus

✍ Scribed by Hyland, M.

Book ID
120096182
Publisher
Oxford University Press
Year
1976
Tongue
English
Weight
225 KB
Volume
s2-12
Category
Article
ISSN
0024-6107

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Concrete Categorical Model for the Lam
A Concrete Categorical Model for the Lambek Syntactic Calculus
✍ Marcelo Da Silva CorrΓͺa; Edward Hermann Haeusler πŸ“‚ Article πŸ“… 1997 πŸ› John Wiley and Sons 🌐 English βš– 530 KB

## Abstract We present a categorical/denotational semantics for the Lambek Syntactic Calculus (LSC), indeed for a Ξ»lD‐typed version Curry‐Howard isomorphic to it. The main novelty of our approach is an abstract noncommutative construction with right and left adjoints, called sequential product. It

[Undergraduate Topics in Computer Scienc
[Undergraduate Topics in Computer Science] Models of Computation Volume 1370 || The Lambda Calculus
✍ FernΓ‘ndez, Maribel πŸ“‚ Article πŸ“… 2009 πŸ› Springer London 🌐 English βš– 349 KB

A Concise Introduction To Computation Models And Computability Theory Provides An Introduction To The Essential Concepts In Computability, Using Several Models Of Computation, From The Standard Turing Machines And Recursive Functions, To The Modern Computation Models Inspired By Quantum Physics. An