Pages that link to "Intuitionistic type theory"

The following pages link to Intuitionistic type theory:

Showing 50 items.

• Bit ‎ (links)
• Byte ‎ (links)
• History of type theory ‎ (links)
• Agda (programming language) ‎ (links)
• Type aliasing ‎ (links)
• MLTT (redirect page) ‎ (links)
• Functional programming ‎ (links)
• Per Martin-Löf ‎ (links)
• Martin-Löf Type Theory (redirect page) ‎ (links)
  • Homotopy type theory ‎ (links)
• Constructive Type Theory (redirect page) ‎ (links)
• Impredicativity ‎ (links)
• Epigram (programming language) ‎ (links)
• Intuitionism ‎ (links)
• Zipper (data structure) ‎ (links)
• Constructivism (philosophy of mathematics) (transclusion) ‎ (links)
• Dependent type ‎ (links)
• Set (mathematics) ‎ (links)
• Category of sets ‎ (links)
• Many-valued logic ‎ (links)
• Type theory ‎ (links)
• Speech act ‎ (links)
• Nuprl ‎ (links)
• System U ‎ (links)
• Natural deduction ‎ (links)
• Void type ‎ (links)
• MPIR (mathematics software) ‎ (links)
• Opaque data type ‎ (links)
• Double-precision floating-point format ‎ (links)
• Real data type ‎ (links)
• Enumerated type ‎ (links)
• Exception handling ‎ (links)
• Martin-Löf type theory (redirect page) ‎ (links)
  • Axiom of choice ‎ (links)
  • Total functional programming ‎ (links)
  • Subcountability ‎ (links)
  • Per Martin-Löf ‎ (links)
  • Quotient type ‎ (links)
  • Type theory ‎ (links)
  • Ruy de Queiroz ‎ (links)
  • ALF (proof assistant) ‎ (links)
  • Constructive set theory ‎ (links)
  • Vladimir Voevodsky ‎ (links)
  • Normalisation by evaluation ‎ (links)
  • Ordinal analysis ‎ (links)
  • Thomas Streicher ‎ (links)
  • Universe (mathematics) ‎ (links)
  • Natural numbers object ‎ (links)
• Structuralism (philosophy of mathematics) ‎ (links)
• Ternary numeral system ‎ (links)
• Flow-sensitive typing ‎ (links)
• Polynomial functor (type theory) ‎ (links)
• Complex data type ‎ (links)
• Rational data type ‎ (links)
• Character (computing) ‎ (links)
• Option type ‎ (links)
• Inductive type ‎ (links)
• Interval arithmetic ‎ (links)
• Array (data type) ‎ (links)
• Strongly typed identifier ‎ (links)
• Intuitionistic Type Theory (redirect page) ‎ (links)
• C data types ‎ (links)
• Data type ‎ (links)
• Associative array ‎ (links)
• Recursive data type ‎ (links)
• Hilbert system ‎ (links)