Coercive Subtyping in Lambda-Free Logical Frameworks

Robin Adams

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

36 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