Fingerprint
Dive into the research topics of 'Bar induction is compatible with constructive type theory'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Bar induction is compatible with constructive type theory
Vincent Rahli, Mark Bickford, Liron Cohen, Robert L. Constable
Research output: Contribution to journal › Article › peer-review