If you made any changes in Pure these will be visible here soon.

Research Output 2009 2019

Filter
Doctoral Thesis
2013

Inductive-inductive definitions

Nordvall Forsberg, F., 2013

Research output: ThesisDoctoral Thesis

Inductive Definitions
Towers
Type Theory
Elimination
Axiomatization