Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).

nLab > Latest Changes: observational type theory

Bottom of Page

1 to 7 of 7

  1.  
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeNov 29th 2012
    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeJul 29th 2017

    Added to observational type theory a link to a blog post (provided by Jon Sterling) that treats propositional extensionality.

    • CommentRowNumber3.
    • CommentAuthormaxsnew
    • CommentTimeJul 29th 2017

    I’m not sure if you meant the blog post was written by Jon Sterling, but I believe that’s Conor McBride ’s blog

    • CommentRowNumber4.
    • CommentAuthorMike Shulman
    • CommentTimeJul 29th 2017

    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.

  5. 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

    diff, v9, current

  6. Added link to the Narya proof assistant

    Anonymouse

    diff, v11, current

    • CommentRowNumber7.
    • CommentAuthorMike Shulman
    • CommentTimeApr 30th 2024

    Moved the link to Narya to higher observational type theory.

    diff, v13, current

1 to 7 of 7

  1.