Stream: Announcements

Topic: Synthese volume on Foundations


view this post on Zulip Anthony Bordg (Nov 19 2019 at 14:24):

The book Reflections on the Foundations of Mathematics. Univalent Foundations, Set Theory and General Thoughts has been published.
In particular you will find a chapter by @Lawrence Paulson entitled Formalising Mathematics in Simple Type Theory that may be of interest to the users of this chat.


Last updated: Dec 05 2021 at 23:19 UTC