Dear all,

Does anyone happen to have a copy of the work

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

that they could share? Or advice on how to obtain a copy?

Best regards,

Colin Zwanziger