serious thoughts and empty ideas
Subscribe
Sign in
Share this discussion
A Home for Intuitionistic Type Theory in Conceptual Engineering
stei.substack.com
Copy link
Facebook
Email
Notes
Other
A Home for Intuitionistic Type Theory in…
Jan-Paul Ramos
May 23
1
Share this post
A Home for Intuitionistic Type Theory in Conceptual Engineering
stei.substack.com
Copy link
Facebook
Email
Notes
Other
Through the thick philosophical forest, comes a somewhat useful tool for a somewhat useful brain.
Read →
0 Comments
Share
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
A Home for Intuitionistic Type Theory in Conceptual Engineering
A Home for Intuitionistic Type Theory in…
A Home for Intuitionistic Type Theory in Conceptual Engineering
Through the thick philosophical forest, comes a somewhat useful tool for a somewhat useful brain.