Universal structure and a categorical framework for type theory

M. Takeyama
1995-05-01
Abstract:
What problem does this paper attempt to address?