Search Results

Showing 1 - 6 results of 6 for search 'parametric polymorphism', query time: 0.07s Refine Results
  1. 1
    by Stolze, Claude, Liquori, Luigi
    Published 2020
    “... that this research vein could be useful to experiment, in a proof theoretical setting, forms of polymorphism...”
    Get access
    Get access
    Conference Object
  2. 2
    by Stolze, Claude, Liquori, Luigi
    Published 2020
    “..., forms of polymorphism alternatives to Girard's parametric one....”
    Get access
    Get access
    Get access
    Get access
    Conference Object
  3. 3
    by Stolze, Claude, Liquori, Luigi
    Published 2020
    “..., forms of polymorphism alternatives to Girard's parametric one....”
    Get access
    Get access
    Get access
    Get access
    Conference Object
  4. 4
    “..., forms of polymorphism alternatives to Girard's parametric one....”
    Get access
    Get access
    Get access
    Get access
    Conference Object
  5. 5
    by Stolze, Claude, Liquori, Luigi
    Published 2020
    “..., forms of polymorphism alternatives to Girard's parametric one....”
    Get access
    Get access
    Get access
    Get access
    Conference Object
  6. 6
    by Stolze, Claude, Liquori, Luigi
    Published 2020
    “..., forms of polymorphism alternatives to Girard's parametric one....”
    Get access
    Get access
    Get access
    Get access
    Conference Object
Search Tools: Get RSS Feed