Open post Bruno Bentzen @bbentzen@mathstodon.xyz · 3w ago Coming soon in all theaters near you 😉 https://link.springer.com/book/9783032419392 #philosophical #typetheory SpringerLink Philosophical Type Theory This book offers solutions to traditional philosophical problems against the background of type theory as its deductive system.
