ML Anthology

Pratt, Vaughan R.

2 publications

IJCAI 1977 A Proof-Checker for Dynamic Logic Steven D. Litvintchouk, Vaughan R. Pratt
IJCAI 1973 A Linguistics Oriented Programming Language Vaughan R. Pratt