Return to Article Details
Coercion as Proof Search in Dependent Type Semantics
Download
Download PDF