Coercions in a polymorphic type system

Zhaohui Luo

Department of Computer Science

Research output: Contribution to journal › Article › peer-review

119 Downloads (Pure)

1 results

Finished

Reverse Mathematics in Dependent Type Theory
Adams, R. (PI)
Eng & Phys Sci Res Council EPSRC
16/10/06 → 15/09/09
Project: Research