Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Philosophical implications of type theory 1987 #25

Open
mariasinnikova opened this issue Sep 4, 2020 · 2 comments
Open

Philosophical implications of type theory 1987 #25

mariasinnikova opened this issue Sep 4, 2020 · 2 comments

Comments

@mariasinnikova
Copy link

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

@gallais
Copy link
Collaborator

gallais commented Sep 5, 2020

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
Copy link
Author

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)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants