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

Research Output 2009 2020

Other chapter contribution

A finite axiomatisation of inductive-inductive definitions

Nordvall Forsberg, F. & Setzer, A., 2012, Logic, Construction, Computation. Berger, U., Hannes, D., Schuster, P. & Seisenberger, M. (eds.). Vol. 3. p. 259 - 287 (Ontos mathematical logic).

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

Inductive Definitions
Proof by induction