-
Accessibility for Plurals in Continuation Semantics
International audience -
Représentations sémantiques pour les Grammaires Minimalistes
Les Grammaires Minimalistes répondent à un formalisme inspirés des travaux de la théorie générative et formalisées par Ed Stabler dans les années 90. Elles se... -
Realizability and parametricity in Pure Type Systems
This thesis focuses on the adaptation of realizability and parametricity to dependent types in the framework of Pure Type Systems. We describe a systematic method to... -
Complexité Implicite de Lambda-Calculs Concurrents
Controlling the resource consumption of programs is crucial: besides performance reasons, it has many applications in the field of computer security where e.g. mobile... -
lambda-calcul et types
Ces notes présentent successivement le lambda-calcul pur, le lambda-calcul simplement typé, les différentes formes de récursion typée, les types dépendants et leur... -
Nested Deduction in Logical Foundations for Computation
This thesis investigates the use of deep inference formalisms as basis for a computational interpretation of proof systems, following the two main approaches:... -
A CPS-semantics for a typed lambda-calculus of exception handling with fixed-...
Colloque avec actes et comité de lecture. -
$\rho$-Calculus. Its Syntax and Basic Properties
Rapport interne. -
A confluence Result for a Typed lambda-Calculus of Exception Handling with Fi...
Colloque avec actes et comité de lecture. -
The rho cube : some results, some problems
Held in conjunction with FLOC'02. Colloque avec actes informels avec comité de lecture. internationale. -
Aspects typés du calcul de réécriture
Stage de DEA. Rapport de stage. -
Traduction des Combinatory Reduction Systems en Rho-Calcul
Stage de DEA. Rapport de stage. -
On the complexity of higher-order matching in the linear $\lambda$-calculus
Colloque avec actes et comité de lecture. internationale.
