David Wahlstedt

Own Thesis
Related Theses

Dependent Type Theory with Parameterized First-Order Data Types and Well-Founded Recursion.

D. Wahlstedt. Chalmers University of Technology, Gothenburg, Sweden, (2007)base-search.net (ftchalmersuniv:oai:publications.lib.chalmers.se:45188).

Doctoral advisor:
First reviewer:

Reviewer:
Advisor:
Author: David Wahlstedt
Editor:
Other:

No resources found

Publications 0
Other Publications of same named Authors

BibSonomy

David Wahlstedt

sort by
added at
title
author
publication date
entry type

BibSonomy

David Wahlstedt

sort byadded attitleauthorpublication dateentry type

sort by
added at
title
author
publication date
entry type