Investigations on Sets and Types

PhD Thesis [PDF]


by Wojciech Moczydlowski

Awarded the 2007 Sacks Prize.

Abstract