ML Anthology

Goto, Shigeki

2 publications

IJCAI 1985 Concurrency in Proof Normalization and Logic Programming Shigeki Goto
IJCAI 1979 Program Synthesis from Natural Deduction Proofs Shigeki Goto