Safe recursion revisited I: Categorical semantics for lower complexity

The objective of this paper is to prove that the initial Pola setting, with both inductive and coinductive data, is sound for polynomial size (PSIZE). Explicitly this means all programs written in Pola have their output size bounded by a polynomial in their input size. The paper describes the polari...

Celý popis

Podrobná bibliografie

Vydáno v:	Theoretical computer science Ročník 515; s. 19 - 45
Hlavní autoři:	Burrell, Mike, Cockett, Robin, Redmond, Brian
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 02.01.2014
Témata:	Categorical semantics Implicit computational complexity Safe recursion Categorical semantics Safe recursion Implicit computational complexity
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!