Tag:Topos-theory

From Wikipedia, the free encyclopedia

Related Tags

Articles

• Typed lambda calculus (1)
  math lambda functional-programming computer_science computer-science calculus type_theory topos-theory typed pugs typed-lambda-calculus types lf @someday-maybe cartesian-closed-categories logic match project:drone
• Intuitionistic logic (1)
  logic philosophy mathematics intuitionistic math set problem-solving theory wikipedia learning typetheory topos-theory constructivism ciencia .imported computability-logic constructivemathematics intuitionist csci499h intuitionistic-logic
• Intuitionism (1)
  philosophy logic intuitionism mathematics wikipedia math maths todo topos-theory learning wikipediapage computational-logic computability-logic ethics imported intuitionistic-logic