In this paper we define a logical framework, called
&;lambda;TT, that is well suited for semantic
analysis. We introduce the notion of a fibration
[Lscr ]1 : [Fscr ]1 [xrarr ] [Cscr ]
1 being internally definable
Email your librarian or administrator to recommend adding this journal to your organisation's collection.