Projection-based cut-elimination and normalization / Stefan Hetzl. 2004
Inhalt