Fingerprint
Dive into the research topics of 'TT□C: A FAMILY OF EXTENSIONAL TYPE THEORIES WITH EFFECTFUL REALIZERS OF CONTINUITY'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
TT□C: A FAMILY OF EXTENSIONAL TYPE THEORIES WITH EFFECTFUL REALIZERS OF CONTINUITY
Liron Cohen, Vincent Rahli
Research output: Contribution to journal › Article › peer-review