Intuitionistic type theory

Field Hierarchy

Parent
Type theory 2,587 papers
Current
Intuitionistic type theory papers
Child

Trends

Notes

History

information about Intuitionistic type theory field