An Introduction to Dependent Type Theory
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Type-checking injective pure type systems
Journal of Functional Programming
Hi-index | 0.00 |