Verifying the Unification Algorithm in LCF (1985)

Cached

Download Links

by Lawrence C. Paulson
Venue:Science of Computer Programming
Citations:9 - 0 self

Document Versions

Verifying the Unification Algorithm in LCF –Lawrence C. Paulson — 1985 — Science of Computer Programming