Dependent Type Theory with Parameterized First-Order Data Types and Well-Founded Recursion
Doktorsavhandling, 2007
Författare
David Wahlstedt
Chalmers, Data- och informationsteknik, Datavetenskap
Kategorisering
Ämneskategorier (SSIF 2011)
Algebra och logik
Datavetenskap (datalogi)
Identifikatorer
ISBN
978-91-7291-979-2
Övrigt
Serie
Technical report D - Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University: 34D
Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie: 2660
Utgivare
Chalmers
Examination
2007-09-14 12:15
Lecture room EA, ED&IT-building, Hörsalsvägen 11, Göteborg
Opponent: Chargé de Recherche HDR Ralph Matthes, IRIT -- Université Paul Sabatier, Toulouse, France