Reference and Computation in Intuitionistic Type Theory
Johan Georg Granström · 2008
Three topics, namely, computer science, philosophical logic, and mathematics, meet in intuitionistic type theory, which thus simultaneously is a programming language, a philosophy of language, and ...