Frank Pfenning

Automated Deduction - CADE-21

2007

Foundations of Software Science and Computation Structures

2005

Types in logic programming

1992

Computation & Deduction

Computation & Deduction