𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Continuous posets and adjoint sequences

✍ Scribed by Rudolf-E. Hoffmann


Book ID
110561135
Publisher
Springer
Year
1979
Tongue
English
Weight
541 KB
Volume
18
Category
Article
ISSN
0037-1912

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Continuation Semantics and Self-adjointn
✍ Hayo Thielecke πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 989 KB

We give an abstract categorical presentation of continuation semantics by taking the continuation type constructor : (or cont in Standard ML of New Jersey) as primitive. This constructor on types extends to a contravariant functor on terms which is adjoint to itself on the left restricted to the sub