Research Topics
I am interested in the area going from lambda-calculus to type theory,
including process calculi. I more particularly work on two groups of
calculi, which are described in detail in my doctor thesis:
Selective Lambda-Calculus
The selective lambda-calculus extends lambda-calculus with what we
call selective currying. That is the possibility of passing arguments
to functions in any order thanks to a labeling based on both symbolic
keywords and numerical indexes.
The following two papers are available.
Selective lambda-calculus naturaly extends into the transformation calculus.
Transformation Calculus
The transformation calculus is an extension of
selective lambda-calculus. Namely a composition construct was
added, which allows arguments to flow through terms seen as
transformations.
These three papers deal with it.
The toy language
FIML is a strongly typed implementation of it.
JG
94.4.5