1 |
Practical Subtyping for System F with Sized (Co-)Induction
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01289760 ; 2017 (2017)
|
|
BASE
|
|
Show details
|
|
2 |
Continuations and adverbial modifiers
|
|
|
|
In: Workshop on Symmetric Calculi and Ludics for the Semantic Interpretation (SCLSI), ESSLLI'08 ; https://hal.archives-ouvertes.fr/hal-00396976 ; Workshop on Symmetric Calculi and Ludics for the Semantic Interpretation (SCLSI), ESSLLI'08, Aug 2008, Germany (2008)
|
|
BASE
|
|
Show details
|
|
|
|