𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Semantics for classical AUTOMATH and related systems

✍ Scribed by Henk Barendregt; Adrian Rezus

Book ID
114037665
Publisher
Elsevier Science
Year
1983
Weight
713 KB
Volume
59
Category
Article
ISSN
0019-9958

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Relating semantic and episodic memory sy
Relating semantic and episodic memory systems
✍ Vinod Menon; Jesse M Boyett-Anderson; Alan F Schatzberg; Allan L Reiss πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 494 KB
Normalization, approximation, and semant
Normalization, approximation, and semantics for combinator systems
✍ Steffen van Bakel; Maribel FernΓ‘ndez πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 400 KB

This paper studies normalization of typeable terms and the relation between approximation semantics and ΓΏlter models for Combinator Systems. It presents notions of approximants for terms, intersection type assignment, and reduction on type derivations; the last will be proved to be strongly normaliz