Explicit Mathematics with Positive Existential Stratified Comprehension, Join and Uniform Monotone Inductive Definitions

TitleExplicit Mathematics with Positive Existential Stratified Comprehension, Join and Uniform Monotone Inductive Definitions
Publication TypeMaster's Thesis
2008
AuthorsBucheli, S
http://www.iam.unibe.ch/ltgpub/2008/buc08.pdf