Explicit Mathematics with Positive Existential Comprehension and Join

TitleExplicit Mathematics with Positive Existential Comprehension and Join
Publication TypeMaster's Thesis
2006
AuthorsKrähenbühl, J
http://www.iam.unibe.ch/ltgpub/2006/kra06.pdf