1. Home
  2. Science
  3. Mathematics
  4. Extensional Concepts in Intensional Type Theory

Science · Mathematics

Extensional Concepts in Intensional Type Theory

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

About Extensional Concepts in Intensional Type Theory

Extensional Concepts in Intensional Type Theory- PhD thesis of Martin Hofmann, which shows how the intensional, constructive view of equality in Martin-Löf's Type Theory can be reconciled with the classical, extensional view of identity.

Tags

Journals

Where it sits

Science Mathematics

More in Mathematics

See all →