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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Theoretical computer science Ročník 364; číslo 2; s. 254 - 269
Hlavný autor:	Power, John
Médium:	Journal Article Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	Amsterdam Elsevier B.V 06.11.2006 Elsevier
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!