Login / Signup

Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects.

Richmond H. Thomason
Published in: CONTEXT (1999)
Keyphrases