Coercion synthesis in computer implementations of type-theoretic frameworks

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/bfb0097784 ◽

1998 ◽

pp. 9-27 ◽

Cited By ~ 1

Author(s):

Anthony Bailey

Download Full-text