Date of Award

Summer 8-2015

Embargo Period

6-2-2016

Degree Type

Dissertation

Degree Name

Doctor of Philosophy (PhD)

Department

Mathematical Sciences

Advisor(s)

Richard Statman

Abstract

In 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.

Share

COinS