Unification and Anti-Unification in the Calculus of Constructions (1991)

Cached

Download Links

by Frank Pfenning
Venue:In Sixth Annual IEEE Symposium on Logic in Computer Science
Citations:61 - 15 self

Document Versions

Unification and Anti-Unification in the Calculus of Constructions –Frank Pfenning — 1991 — In Sixth Annual IEEE Symposium on Logic in Computer Science