-
1“... that this research vein could be useful to experiment, in a proof theoretical setting, forms of polymorphism...”
Get access
Get access
Conference Object -
2“..., forms of polymorphism alternatives to Girard's parametric one....”
Get access
Get access
Get access
Get access
Conference Object -
3“..., forms of polymorphism alternatives to Girard's parametric one....”
Get access
Get access
Get access
Get access
Conference Object -
4“..., forms of polymorphism alternatives to Girard's parametric one....”
Get access
Get access
Get access
Get access
Conference Object -
5“..., forms of polymorphism alternatives to Girard's parametric one....”
Get access
Get access
Get access
Get access
Conference Object -
6“..., forms of polymorphism alternatives to Girard's parametric one....”
Get access
Get access
Get access
Get access
Conference Object