Light Functional Interpretation (2005)

by M-D Hernest
Venue:Lecture Notes in Computer Science, 3634:477 – 492, July 2005. Computer Science Logic: 19th International Workshop, CSL