✦ LIBER ✦

On the semantics of nested datatypes

✍ Scribed by Clare Martin; Jeremy Gibbons

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 83 KB
Volume: 80
Category: Article
ISSN: 0020-0190
DOI: 10.1016/s0020-0190(01)00168-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Semantics of Comparative Logic

✍ Pierluigi Minari 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 781 KB

On the semantics of classical disjunctio

On the semantics of classical disjunction

✍ David Pym; Eike Ritter 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 214 KB

The -calculus provides a system of realizers for classical free (cf. natural) deduction in the absence of disjunction. We identify two forms of disjunction, one derived from Gentzen's sequent calculus LJ and one from LK, and develop the corresponding metatheory for extended with disjunction. We desc

On the Semantics of the Constructible Le

On the Semantics of the Constructible Levels

✍ George Boolos 📂 Article 📅 1970 🏛 John Wiley and Sons 🌐 English ⚖ 597 KB

On the continuous nature of the poetic s

On the continuous nature of the poetic semantics

✍ I.I. Revzin 📂 Article 📅 1974 🏛 Elsevier Science 🌐 English ⚖ 388 KB

Remarks on the comments of B. Langefors

Remarks on the comments of B. Langefors on our paper: Semantics of data bases: The semantics of data models

✍ H. Biller; E.J. Neuhold 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 174 KB

The semantics of anxiety

✍ P. Pichot 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 157 KB 👁 2 views

The semantics of the basic psychiatric technical terms related to the anxiety disorders, anxiety, fear and panic, raises complex problems of translation, especially between the English, French and German languages. Some of the speci®c diculties and their consequences on the international understandi