Publication View

Premonoidal categories and notions of (2007)

Abstract

computation

Publication details

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.23.1140
Source	http://www.dcs.qmw.ac.uk/~edmundr/pubs/mscs97/premoncat.ps
Contributors	CiteSeerX
Repository	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords	category C such as the category of!-cpos, in which to model ordinary, total programs, without any exotic features such as partiality, nondeterminism, side-eects, or exceptions
Type	text
Language	English
Relation	10.1.1.41.840, 10.1.1.30.6163, 10.1.1.62.1993