Fixed point operators, inductive definitions and universes in Martin-Lof's type theory (on)
By: E. Palmgren
Contributors: Uppsala universitet
Publisher: Uppsala University; Depart. of Mathematics
Published: 1991
Place of publication: Uppsala
Language: eng
Number of pages: 12
Other titles: On fixed point operators, inductive definitions and universes in Martin-Lof's type theory.
Notes: Thesis (doctoral)--Uppsala University, 1991.