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

Research Output 2009 2019

Filter
Other chapter contribution
2012

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
Axiomatization
Proof by induction