Some Results on Classical Semantics and Polymorphic Types.pdf (460.24 kB)
Some Results on Classical Semantics and Polymorphic Types
thesis
posted on 2015-08-01, 00:00 authored by William J. GuntherIn the first chapter we consider the simply typed-calculus over one ground type with a discriminator which distinguishes terms, augmented additionally with an existential quantifier and a description operator, all of lowest type.
History
Date
2015-08-01Degree Type
- Dissertation
Department
- Mathematical Sciences
Degree Name
- Doctor of Philosophy (PhD)