search

michaelt / martin-lof

papers of Per Martin Löf
750 stars 65 forks source link

Missing work: Hauptsatz for the Theory of Species #20

Closed asr closed 6 years ago

asr commented 6 years ago

The DOI for the missing work is this.

chrisittner commented 6 years ago

Note that you can find that paper in the .pdf file for "Hauptsatz for the intuitionistic theory of iterated inductive definitions" in this repository.

The pdf file contains both papers, "Hauptsatz for the intuitionistic theory of iterated inductive definitions" being on publication pages 179-216 and then "Hauptsatz for the Theory of Species" on pages 217-233.