Missing work: 1986 lecture notes

[czwanzig]

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]

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]

@czwanzig: any updates?

[zwanzigerc]

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.