Generic models for computational effects

A Freyd-category is a subtle generalisation of the notion of a category with finite products. It is suitable for modelling environments in call-by-value programming languages, such as the computational λ -calculus, with computational effects. We develop the theory of Freyd-categories with that in mi...

Full description

Saved in:

Bibliographic Details
Published in:	Theoretical computer science Vol. 364; no. 2; pp. 254 - 269
Main Author:	Power, John
Format:	Journal Article Conference Proceeding
Language:	English
Published:	Amsterdam Elsevier B.V 06.11.2006 Elsevier
Subjects:	Applied sciences Canonical model Computer science; control theory; systems Conical colimit completion Enriched Yoneda embedding Exact sciences and technology Freyd-category Logic and foundations Mathematical logic, foundations, set theory Mathematics Model theory Programming languages Programming theory Sciences and techniques of general use Software Theoretical computing Freyd-category Enriched Yoneda embedding Conical colimit completion Canonical model Computer theory Programming language Freyd category Non determinism Structural analysis
ISSN:	0304-3975, 1879-2294
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!