Journée d’études sur HoTT, SPHERE, le 25 juin, 2024. (programme)(slides)(video)
June 11, 2024
Logic of Irreversible Reasoning: Directed Type Theory and Its Philosophical Significance
Comments Off on Logic of Irreversible Reasoning: Directed Type Theory and Its Philosophical Significance
No Comments
No comments yet.
RSS feed for comments on this post.
Sorry, the comment form is closed at this time.