𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the semantics of polymorphism

✍ Scribed by Mario Coppo

Publisher
Springer-Verlag
Year
1983
Tongue
English
Weight
598 KB
Volume
20
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On phase semantics and denotational sema
On phase semantics and denotational semantics: the exponentials
✍ Antonio Bucciarelli; Thomas Ehrhard πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 281 KB

We extend to the exponential connectives of linear logic the study initiated in Bucciarelli and Ehrhard (Ann. Pure. Appl. Logic 102 (3) (2000) 247). We deΓΏne an indexed version of propositional linear logic and provide a sequent calculus for this system. To a formula A of indexed linear logic, we as

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 nested datatypes
On the semantics of nested datatypes
✍ Clare Martin; Jeremy Gibbons πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 83 KB