✦ LIBER ✦

A type-theoretic semantics of arrays

✍ Scribed by Carl McCrosky; Diptendu Dutta

Publisher: Elsevier Science
Year: 1990
Tongue: English
Weight: 398 KB
Volume: 3
Category: Article
ISSN: 0893-9659
DOI: 10.1016/0893-9659(90)90073-k

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Type-theoretic Description of Action C

A Type-theoretic Description of Action Calculi

✍ Philippa Gardner 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 32 KB

Action calculi, introduced by Milner, provide a framework for investigating models of interaction. This talk will focus on the connection between action calculi and known concepts arising from type theory. The aim of this work is to isolate what is distinctive about action calculi, and to investigat

A type-theoretic approach for program de

A type-theoretic approach for program development

✍ Wei Li 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 792 KB

A semantic characterization of the well-

A semantic characterization of the well-typed formulae of λ-calculus

✍ Thomas Forster 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 901 KB

Dual Standard Monomial Theoretic and Can

Dual Standard Monomial Theoretic and Canonical Bases for Type A

✍ K.N. Raghavan; P. Sankaran 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 154 KB

A semantics of sequence diagrams

✍ Seung Mo Cho; Hyung Ho Kim; Sung Deok Cha; Doo Hwan Bae 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 91 KB

We develop a formal semantics of sequence diagrams. The semantics is given in terms of our new temporal logic, named HDTL, which is designed to specify dynamically evolving systems. This approach allows to facilitate the generic feature of sequence diagrams as well as an automatic analysis, the iden

A Coalgebraic Semantics of Subtyping

✍ Erik Poll 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 893 KB