Richmond H. Thomason Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects. 351-360 1999 conf/context/1999 CONTEXT https://doi.org/10.1007/3-540-48315-2_27 db/conf/context/context1999.html#Thomason99