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.
* Views captured on Cambridge Core between September 2016 - 23rd May 2017. This data will be updated every 24 hours.