Verifying the Unification Algorithm in LCF (1985)

View PDF

Download Links

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