Sous-typage coercitif en présence de réductions non-standards dans un système aux types dépendants. (Coercive subtyping in a system with dependents types and non-standards reductions) - researchr publication

researchr

You are not signed in
Sign in
Sign up

Lionel Marie-Magdeleine. Sous-typage coercitif en présence de réductions non-standards dans un système aux types dépendants. (Coercive subtyping in a system with dependents types and non-standards reductions). PhD thesis, Paul Sabatier University, Toulouse, France, 2009. [doi]

Abstract is missing.

runs on WebDSL