Type Theory for All: The Goal of Science is to Communicate Ideas

 

Thank you to the crew at Type Theory for All for their thoughtful and well-prepared interview.