Search Results

Showing 1 - 1 results of 1 for search 'parametric polymorphism', query time: 0.06s Refine Results
  1. 1
    by Liquori, Luigi, Stolze, Claude
    Published 2020
    “..., in a proof theoretical setting, forms of polymorphism alternatives to Girard's parametric one....”
    Get access
    Text
Search Tools: Get RSS Feed