DMCA

Lightweight Lemmas in λProlog (1999)

by Andrew W. Appel , Amy P. Felty
Citations:3 - 1 self