Isaac's Website

Research Interests

• Categorical Logic,
• Type Theory,
• Topos Theory,
• Ordinal Analysis, and
• Proof Assistants

Contact Details