Coercions in a polymorphic type system

Department of Computer Science

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

97 Downloads (Pure)

1 results

Finished

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