-
The Heart of Intersection Type Assignment
This paper gives a new proof for the approximation theorem and the characterisation of normalisability using intersection types. The technique applied is to define... -
Boltzmann samplers for random generation of lambda terms
Randomly generating structured objects is important in testing and optimizing functional programs, whereas generating random $'l$-terms is more specifically needed for... -
A semantics and a syntax for ordinal notations and hierarchies
Rapport interne. -
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 Rewriting Calculus
Rapport interne. -
Bisimulations up-to: beyond first-order transition systems
International audience -
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.
