Environments, Continuation Semantics and Indexed Categories

Environments, Continuation Semantics and Indexed Categories (1997)

Cached

Download Links

[www.dcs.qmw.ac.uk]

Other Repositories/Bibliography

DBLP

by John Power , Hayo Thielecke

Venue:	Theoretical Aspects of Computer Software, number 1281 in Lect. Notes Comp. Sci
Citations:	5 - 1 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Environments, Continuation Semantics and Indexed Categories	user correction - Legacy Corrections
AUTHOR NAME	John Power	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science,; University of Edinburgh,; King's Buildings,	SVM HeaderParse 0.2
AUTHOR ADDR	Edinburgh EH9 3JZ,; Scotland, UK	SVM HeaderParse 0.1
AUTHOR NAME	Hayo Thielecke	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science,; University of Edinburgh,; King's Buildings,	SVM HeaderParse 0.2
AUTHOR ADDR	Edinburgh EH9 3JZ,; Scotland, UK	SVM HeaderParse 0.1
ABSTRACT	. There have traditionally been two approaches to modelling environments, one by use of ønite products in Cartesian closed categories, the other by use of the base categories of indexed categories with structure. Recently, there have been more general deønitions along both of these lines: the ørst generalising from Cartesian to symmetric premonoidal categories, the second generalising from indexed categories with speciøed structure to -categories. The added generality is not of the purely mathematical kind; in fact it is necessary to extend semantics from the logical calculi studied in, say, Type Theory to more realistic programming language fragments. In this paper, we establish an equivalence between these two recent notions. We then use that equivalence to study semantics for continuations. We give three category theoretic semantics for modelling continuations and show the relationships between them. The ørst is given by a continuations monad. The second is based on a symmetric prem...	user correction - Legacy Corrections
YEAR	1997	INFERENCE
VENUE	Theoretical Aspects of Computer Software, number 1281 in Lect. Notes Comp. Sci	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	391--414	INFERENCE
VOLUME	14	INFERENCE
CITATIONS	20 found	ParsCit 1.0