𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Modeling and adjoints for continuous systems

✍ Scribed by Henry J. Kelley; Walter F. Denham


Book ID
105008164
Publisher
Springer
Year
1969
Tongue
English
Weight
592 KB
Volume
3
Category
Article
ISSN
0022-3239

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