1. Home
  2. Science
  3. Mathematics
  4. Martin-Löf Type Theory: Semantics and Proof Theory

Science · Mathematics

Martin-Löf Type Theory: Semantics and Proof Theory

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

About Martin-Löf Type Theory: Semantics and Proof Theory

Martin-Löf Type Theory: Semantics and Proof Theory- Home page of a working group maintained by Thierry Coquand.

Tags

Journals

Where it sits

Science Mathematics

More in Mathematics

See all →