This book explores the unique relationship between two different approaches to understand the nature of knowledge, reality, and existence. It collects essays that examine the distinctive historical re
Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds several aspects of intuitionistic type theo
