scrambled
scrambled
Concept

Type theory

Modified just now
JourneyProgramming Language Theory Statusreviewing Tags
  • formal system
  • type theory

A Formal system where every term has a type, providing a foundation for mathematics and programming through the Curry-Howard correspondence between proofs and programs.

A formal system where every term has a type, providing a foundation for mathematics and programming through the correspondence between proofs and programs.