Research Concept

Container (type theory)

abstractions in type theory

Works
102,816
Citations
496,414
Level
2
OpenAlex ID
C2781018962