Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

TUM-Logo

Die bibliographische Datenbank LEABib


SuchenListe der JournaleListe der SerienListe der KonferenzenAusgewählte Publikationen Ausgewählte Publikationen Hilfe Hilfe
 
Suche: Citkey="Abbott-Altenkirch-Ghani/05"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Containers: Constructing strictly positive types Publikation auswählen
Michael Abbott, Thorsten Altenkirch, Neil Ghani

Theoretical Computer Science 342 (1), 2005, pp. 3-27

Editors  G. Ausiello, D. Sannella
Publisher:  Elsevier B.V.
Address:  Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis
 
Keywords:   type theory, category theory, container functors, w-types, induction, coinduction, initial algebras, final coalgebras
 
URL:   http://dx.doi.org/10.1016/j.tcs.2005.06.002