Miscellaneous documents of Matt Kaufmann
Some day this might be a decent web page. For now, it's just a place to put miscellaneous stuff.
Burroughs ARC Technical Report 86-01: A Sound Theorem-Prover for a Higher-Order Functional Language