Reverse Mathematics in Dependent Type Theory

Research output

Research output per year 2007 2007 2008 2009 2009

• 2 Conference contribution
• 1 Article

Research output per year

Research output per year

Search results

• 2008

  Coercions in a polymorphic type system

  Luo, Z., Aug 2008, In: Mathematical Structures in Computer Science. 18, 4, p. 729-751 23 p.

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

  File
  102 Downloads (Pure)