Search results for: Frank Pfenning
Lecture Notes in Computer Science > Automated Deduction – CADE-22 > Session 7. Resolution-Based Systems for Non-classical Logics > 230-244
Lecture Notes in Computer Science > Certified Programs and Proofs > Session 1: Logic and Types > 21-36
Lecture Notes in Computer Science > Semantics, Applications, and Implementation of Program Generation > Invited Talks > 5-6