The Work
Resolution in type theory
The details
The Author
Peter B. Andrews
The offers
