Comparing Semantic Frameworks for Dependently-Sorted Algebraic Theories.

Benedikt Ahrens, Peter LeFanu Lumsdaine, Paige Randall North

Browse the full APLAS paper archive.