On quasi-interpretations, blind abstractions and implicit complexity

Patrick Baillott, Ugo Dal Lago, Jean-Yves Moyen

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

5 Citationer (Scopus)

Originalsprog	Engelsk
Tidsskrift	Mathematical Structures in Computer Science
Vol/bind	22
Udgave nummer	4
Sider (fra-til)	549-580
ISSN	0960-1295
DOI	https://doi.org/10.1017/S0960129511000685
Status	Udgivet - aug. 2012
Udgivet eksternt	Ja

Adgang til dokumentet

@article{9c6b0b9889194ddeb58c6c9a24ef4139,

title = "On quasi-interpretations, blind abstractions and implicit complexity",

author = "Patrick Baillott and {Dal Lago}, Ugo and Jean-Yves Moyen",

year = "2012",

month = aug,

doi = "10.1017/S0960129511000685",

language = "English",

volume = "22",

pages = "549--580",

journal = "Mathematical Structures in Computer Science",

issn = "0960-1295",

publisher = "Cambridge University Press",

number = "4",

}

TY - JOUR

T1 - On quasi-interpretations, blind abstractions and implicit complexity

AU - Baillott, Patrick

AU - Dal Lago, Ugo

AU - Moyen, Jean-Yves

PY - 2012/8

Y1 - 2012/8

U2 - 10.1017/S0960129511000685

DO - 10.1017/S0960129511000685

M3 - Journal article

SN - 0960-1295

VL - 22

SP - 549

EP - 580

JO - Mathematical Structures in Computer Science

JF - Mathematical Structures in Computer Science

IS - 4

ER -