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