Skip to content
Navigation menu
Search
Powered by Algolia
Search
Log in
Create account
DEV Community
Close
#
typetheory
Follow
Hide
Posts
Left menu
👋
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
Right menu
Linear Homotopy Type Theory and the First Topological Quantum Computing Programming Language
The Mansions of Science
The Mansions of Science
The Mansions of Science
Follow
Sep 14
Linear Homotopy Type Theory and the First Topological Quantum Computing Programming Language
#
math
#
physics
#
typetheory
#
functionalreactiveprogramming
Comments
Add Comment
1 min read
👋
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account
