Research Topics

Selective Lambda-Calculus. Transformation Calculus.

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