Functional Interpretation (2005)

by M-D Hernest, Light
Venue:Lecture Notes in Computer Science 3634 (2005