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 |