( en | de | ru )

 

  2. Person
  3. David Wahlstedt

David Wahlstedt

Dependent Type Theory with Parameterized First-Order Data Types and Well-Founded Recursion.
. Chalmers University of Technology, Gothenburg, Sweden, (2007)base-search.net (ftchalmersuniv:oai:publications.lib.chalmers.se:45188).
  •  Doktorvater / Doktormutter:
  •  Erstgutachter_in:
  •  Gutachter_in:
  •  Betreuer_in:
  •  Autor_in: David Wahlstedt
  •  Herausgeber_in:
  •  Andere:
mehr

Keine Ressourcen gefunden