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: proof net

Bottom of Page

1 to 2 of 2

  1.  
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeJan 20th 2014

    created some minimum at proof net (long requested by string diagram)

    • CommentRowNumber2.
    • CommentAuthorTodd_Trimble
    • CommentTimeJan 20th 2014

    Rather a nice start, though! I was not aware of those papers by Melliès; they look really nice.

1 to 2 of 2

  1.