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: computational consistency

Bottom of Page

1 to 1 of 1

  1.  
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeNov 30th 2012
    • (edited Nov 30th 2012)

    not sure why, but reading

    • Peter Dybjer, Thoughts on Martin-Löf’s Meaning Explanations (pdf)

    made me look at

    which seems to be about something deep and important that eventually I’d like to better grasp (but don’t yet), and that made me create computational consistency.

    But I admit that I don’t really know what I am doing, in this case. So I’ll stop.

1 to 1 of 1

  1.