F. Pfenning

A Game-Based Architecture for Developing Interactive Components in Computational Logic

John Darlington, Dale Miller, Tetsuo Ida, 2000 .

On a Modal λ-Calculus for S41 1This work is supported by NSF Grant CCR-9303383 and the Advanced Research Projects Agency under ARPA Order No. 8313.

F. Pfenning, H. C. Wong, F. Pfenning, 1995 .