Coming soon in all theaters near you 😉 https://link.springer.com/book/9783032419392 #philosophical #typetheory