St├ęphane Gimenez

Software

Linr: a parallel computation server for interaction-net reductions.

Laby: a tool to teach programming.