✦ LIBER ✦

A Categorical Semantics of Higher Order Store

✍ Scribed by J. Laird

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 248 KB
Volume: 69
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80566-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A fully abstract semantics for a higher-

A fully abstract semantics for a higher-order functional language with nondeterministic computation

✍ Alan Jeffrey 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 299 KB

This paper presents a functional programming language, based on Moggi's monadic metalanguage. In the ÿrst part of this paper, we show how the language can be regarded as a monad on a category of signatures, and that the resulting category of algebras is equivalent to the category of computationally

Lack of Phonological Mediation in a Sema

Lack of Phonological Mediation in a Semantic Categorization Task

✍ Marcus Taft; Fiona van Graan 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 189 KB

Adapting Big-Step Semantics to Small-Ste

Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations and “Higher-Order” Derivations

✍ Husain Ibraheem; David A. Schmidt 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 36 KB

A uniform semantic proof for cut-elimina

A uniform semantic proof for cut-elimination and completeness of various first and higher order logics

✍ Mitsuhiro Okada 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 201 KB

Phase semantic cut-elimination and norma

Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic

✍ Mitsuhiro Okada 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 698 KB

A Higher-order Interpretation of Deducti

A Higher-order Interpretation of Deductive Tableau

✍ Abdelwaheb Ayari; David Basin 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 325 KB

The Deductive Tableau of Manna and Waldinger is a formal system with an associated methodology for synthesizing functional programs by existence proofs in classical first-order theories. We reinterpret the formal system in a setting that is higher-order in two respects: higher-order logic is used to