Can Proofs Be Animated By Games?

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/11417170_3 ◽

2005 ◽

pp. 11-22 ◽

Author(s):

Susumu Hayashi

Download Full-text