Skip to main content

Timeline for Homotopy type theory for semantics

Current License: CC BY-SA 4.0

6 events
when toggle format what by license comment
May 10 at 21:24 comment added vikraman HoTT is the internal language of groupoids, and groupoids can be used to give semantics to reversible and quantum programs, see for example: doi.org/10.1016/j.entcs.2018.03.013, doi.org/10.1145/3498667, doi.org/10.1145/3632861
Mar 2 at 17:19 history edited Ben Sprott CC BY-SA 4.0
I said that quantum gates may to finally presented categories. Instead, I was using finally presented groups
Mar 1 at 21:03 history edited Ben Sprott CC BY-SA 4.0
added 1 character in body
Mar 1 at 19:40 history edited YCor CC BY-SA 4.0
formatting, added tag
Mar 1 at 19:30 history edited Ben Sprott CC BY-SA 4.0
deleted 8 characters in body
Mar 1 at 19:01 history asked Ben Sprott CC BY-SA 4.0