Philosophical implications of type theory 1987

[mariasinnikova]

Can anyone please share the notes? I'd be eternally grateful.

[gallais]

I see that Peter Dybjer has referenced these notes multiple times.
My guess is that your best bet is to email him to ask for a copy.

The problem with these privately circulated notes is that they are
often shared under the condition that they are not shared further
or put online.

[mariasinnikova]

I see that Peter Dybjer has referenced these notes multiple times.
My guess is that your best bet is to email him to ask for a copy.

The problem with these privately circulated notes is that they are
often shared under the condition that they are not shared further
or put online.

Thanks so much for the info! Have a lovely day)