Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Added to observational type theory a link to a blog post (provided by Jon Sterling) that treats propositional extensionality.
I’m not sure if you meant the blog post was written by Jon Sterling, but I believe that’s Conor McBride ’s blog
Sorry, that was badly worded; I meant that Jon pointed me to the blog post (“provided the link”). But I did neglect to attribute the post to Conor in the references list, so I’ve now rectified that.
Added the first published paper on observational type theory:
The existing paper by Altenkirch and McBride in the references of the article is only a draft article, according to the list of publications on Altenkirch’s website.
Anonymouse
Moved the link to Narya to higher observational type theory.
1 to 7 of 7