Computational Comonads and Intensional Semantics Export

@incollection{citeulike:791480, abstract = {We explore some foundational issues in the development of a theory of intensional semantics. A programming language may be given a variety of semantics, differing in the level of abstraction; one generally chooses the semantics at an abstraction level appropriate for reasoning about a particular kind of program property. Extensional semantics are typically appropriate for proving properties such as partial correctness, but an intensional semantics at a lower abstraction level is required in...}, address = {Cambridge}, author = {Brookes, Stephen and Geva, Shai}, booktitle = {Applications of Categories in Computer Science: Proceedings LMS Symp., Durham, {UK}, 20--30 July 1991}, citeulike-article-id = {791480}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/brookes91computational.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/brookes91computational.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/brookes91computational.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/brookes91computational.html}, editor = {Fourman, M. P. and Johnstone, P. T. and Pitts, A. M.}, keywords = {comonads}, pages = {1--44}, posted-at = {2006-08-09 21:46:11}, priority = {2}, publisher = {Cambridge University Press}, title = {Computational Comonads and Intensional Semantics}, url = {http://citeseer.ist.psu.edu/brookes91computational.html}, volume = {177}, year = {1992} }

TY - CHAP ID - citeulike:791480 L3 - citeulike-article-id:791480 N2 - We explore some foundational issues in the development of a theory of intensional semantics. A programming language may be given a variety of semantics, differing in the level of abstraction; one generally chooses the semantics at an abstraction level appropriate for reasoning about a particular kind of program property. Extensional semantics are typically appropriate for proving properties such as partial correctness, but an intensional semantics at a lower abstraction level is required in... AD - Cambridge EP - 44 TI - Computational Comonads and Intensional Semantics PB - Cambridge University Press VL - 177 T2 - Applications of Categories in Computer Science: Proceedings LMS Symp., Durham, {UK}, 20--30 July 1991 SP - 1 KW - comonads AU - Brookes, Stephen AU - Geva, Shai A2 - Fourman, MP A2 - Johnstone, PT A2 - Pitts, AM PY - 1992/// UR - http://citeseer.ist.psu.edu/brookes91computational.html ER -