search

michaelt / martin-lof

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

Missing work: 1986 lecture notes #21

Open czwanzig opened 6 years ago

czwanzig commented 6 years ago

Martin-Löf, P. (1986). Amendment to intuitionistic type theory. Notes from a lecture given in Göteborg.

AKA

Martin-Löf, P. (1986). Amendment to intuitionistic type theory, Lecture notes obtained from P. Dybjer. Computer Science Department, Chalmers University, Gothenburg.

czwanzig commented 6 years ago

I've now obtained a copy of these lecture notes. I think they would be a valuable addition to the page, with the right permissions.

mietek commented 5 years ago

@czwanzig: any updates?

zwanzigerc commented 5 years ago

I tracked down the note-taker, but they weren't comfortable with the gradual proliferation of their notes. So on the basis of that, I suppose I shouldn't provide them publicly. However, the notes have been cited a handful of times already.

If Martin-Loef signed off on notes being posted from this talk, I suspect the note-taker would also be happy, and then they could be posted.