Searching for "Categorical Semantics of Control." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Control Categories and Duality: on the Categorical Semantics of the Lambda-Mu Calculus
- … in the categorical semantics of control operators. The starting point of our work is Hofmann and Streicher…
- Cited by 62 (3 self) – Add To MetaCart
-
On the call-by-value CPS transform and its semantics
- … and categorical semantics of control operators in a simply-typed call-by-value setting, plus several new results…
- Cited by 5 (0 self) – Add To MetaCart
-
Polarized Proof-Nets and Lambda µ-Calculus
- … into linear logic. Furthermore it has been recently given a nice categorical semantics, the control categories…
- Add To MetaCart
Showing 1 through 3.
