F.: On Equivalence and Canonical Forms in the LF Type Theory (0)

by R Harper, Pfenning
Venue:ACM Transactions on Computational Logic