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ženo v:

Podrobná bibliografie
Vydáno v:	Theoretical computer science Ročník 364; číslo 2; s. 254 - 269
Hlavní autor:	Power, John
Médium:	Journal Article Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	Amsterdam Elsevier B.V 06.11.2006 Elsevier
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!