✦ LIBER ✦

Monads and algebras in the semantics of partial data types

✍ Scribed by Philip S. Mulry

Book ID: 107948709
Publisher: Elsevier Science
Year: 1992
Tongue: English
Weight: 901 KB
Volume: 99
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(92)90176-g

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Coalgebras and monads in the semantics o

Coalgebras and monads in the semantics of Java

✍ Bart Jacobs; Erik Poll 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 225 KB

This paper describes the basic structures in the denotational and axiomatic semantics of sequential Java, both from a monadic and a coalgebraic perspective. This semantics is an abstraction of the one used for the veriÿcation of (sequential) Java programs using proof tools in the LOOP project at the

Rewriting in the partial algebra of type

Rewriting in the partial algebra of typed terms modulo AC

✍ Thomas Colcombet 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 197 KB

The Semantics of Gender in Mayali: Parti

The Semantics of Gender in Mayali: Partially Parallel Systems and Formal Implementation

✍ Nicholas Evans, Dunstan Brown and Greville G. Corbett 📂 Article 📅 2002 🏛 Linguistic Society of America 🌐 English ⚖ 944 KB

Web of Data and Web of Entities: Identit

Web of Data and Web of Entities: Identity and Reference in Interlinked Data in the Semantic Web

✍ Paolo Bouquet; Heiko Stoermer; Massimiliano Vignolo 📂 Article 📅 2011 🏛 Springer-Verlag 🌐 English ⚖ 706 KB

The Algebra of Conjugacy Classes in Symm

The Algebra of Conjugacy Classes in Symmetric Groups and Partial Permutations

✍ V. N. Ivanov; S. V. Kerov 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 319 KB

On the problem of deciding equality in p

On the problem of deciding equality in partial combinatory algebras and in a formal system

✍ Giuseppa Longo 📂 Article 📅 1976 🏛 Springer Netherlands 🌐 English ⚖ 670 KB