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