𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Induction and category coherence

✍ Scribed by Mary E. Lassaline; Gregory L. Murphy

Book ID
111520114
Publisher
Springer-Verlag
Year
1996
Tongue
English
Weight
718 KB
Volume
3
Category
Article
ISSN
1069-9384

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Coherence completions of categories
Coherence completions of categories
✍ Hongde Hu; Andre Joyal πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 213 KB

This is the ΓΏrst of a series of papers on coherence completions of categories. Here we show that there is a close connection between Girard's coherence spaces and free bicomplete categories. We introduce a new construction for creating models of linear logic, the coherence completion of a category.

Coherence for star-autonomous categories
Coherence for star-autonomous categories
✍ Kosta DoΕ‘en; Zoran PetriΔ‡ πŸ“‚ Article πŸ“… 2006 πŸ› Elsevier Science 🌐 English βš– 287 KB