Proof Theory meets Type Theory
A "Small Workshop" of the European TYPES Project
Swansea, Wales, 15-16 March 2008
|
|
Russell'08
Proof Theory meets Type Theory A "Small Workshop" of the European TYPES Project Swansea, Wales, 15-16 March 2008 |
|