Semantics for Algebraic Operations

Semantics for Algebraic Operations (2001)

Cached

Download Links

[www.dcs.ed.ac.uk]
[homepages.inf.ed.ac.uk]

Other Repositories/Bibliography

DBLP

by Gordon Plotkin , John Power

Venue:	Proc. MFPS 17, Electronic Notes in Thoeret. Comp. Sci
Citations:	9 - 3 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Semantics for Algebraic Operations	user correction - Legacy Corrections
AUTHOR NAME	Gordon Plotkin	user correction - Legacy Corrections
AUTHOR AFFIL	Division of Informatics, University of Edinburgh, King's Buildings,	user correction - Legacy Corrections
AUTHOR ADDR	Edinburgh EH9 3JZ, Scotland	user correction - Legacy Corrections
AUTHOR NAME	John Power	user correction - Legacy Corrections
AUTHOR AFFIL	Division of Informatics, University of Edinburgh, King's Buildings,	user correction - Legacy Corrections
AUTHOR ADDR	Edinburgh EH9 3JZ, Scotland	user correction - Legacy Corrections
ABSTRACT	Given a complete and cocomplete symmetric monoidal closed category V and a symmetric monoidal V -category C with cotensors and a strong V -monad T on C, we investigate axioms under which an ObC- indexed family of operations of the form #x : (Tx) v -# (Tx) w provides semantics for algebraic operations, which may be used to extend the usual monadic semantics of the computational #-calculus uniformly. We recall a definition for which we have elsewhere given adequacy results, and we show that an enrichment of it is equivalent to a range of other possible natural definitions of algebraic operation. We outline examples and non-examples and we show that our definition also enriches one for call-by-name languages with e#ects. 1	user correction - Legacy Corrections
YEAR	2001	INFERENCE
VENUE	Proc. MFPS 17, Electronic Notes in Thoeret. Comp. Sci	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	2001	INFERENCE
VOLUME	45	INFERENCE
CITATIONS	18 found	ParsCit 1.0