Public
- Public
- Network
- Groups
- Featured
- Popular
- People

Notices by Bruno Bentzen (bbentzen@mathstodon.xyz)

Embed this notice
Bruno Bentzen (bbentzen@mathstodon.xyz)'s status on Thursday, 17-Sep-2026 22:48:22 JST Bruno Bentzen

Coming soon in all theaters near you 😉 https://link.springer.com/book/9783032419392 #philosophical #typetheory
In conversation about 21 days ago from mathstodon.xyz permalink
Attachments
1. Philosophical type theory book cover
  https://media.mathstodon.xyz/media_attachments/files/117/286/610/619/742/862/original/4e4932efe42ef235.png
2. Domain not in remote thumbnail source whitelist: media.springernature.com
  
  Philosophical Type Theory
  
  This book offers solutions to traditional philosophical problems against the background of type theory as its deductive system.

User actions

I am an Assistant Professor in the School of Philosophy at Zhejiang University. Previously, I was a postdoctoral researcher in the Institute of Philosophy of the Czech Academy of Sciences and a postdoctoral researcher in the Department of Philosophy at Carnegie Mellon University in Pittsburgh. My main research interests are in the philosophy of logic and mathematics, with emphasis on mathematical constructivism, intuitionism, and type theory.

Tags