Richmond H. Thomason. Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects. In Paolo Bouquet, Luciano Serafini, Patrick Brézillon, Massimo Benerecetti, F. Castellani, editors, Modeling and Using Context, Second International and Interdisciplinary Conference, CONTEXT 99, Trento, Italy, September 1999, Proceedings. Volume 1688 of Lecture Notes in Computer Science, pages 351-360, Springer, 1999. [doi]
Abstract is missing.