Categorical Semantics of First-Order Functional

Type Theories

Krzysztof Worytkiewicz

February 28, 1995

Abstract

A study of the categorical semantics of the simply typed >=-calculus and two relevant extensions of the latter.