Control categories and duality: on the categorical semantics of the lambda-mu calculus
Work
Year: 2001
Type: article
Abstract: We give a categorical semantics to the call-by-name and call-by-value versions of Parigot's λμ-calculus with disjunction types. We introduce the class of control categories, which combine a cartesian-... more
Author Peter Selinger
Institution University of Michigan–Ann Arbor
Cites: 21
Cited by: 158
Related to: 10
FWCI: 14.48
Citation percentile (by year/subfield): 98.81
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green