Thierry Joly

发表

Codages, separabilite et representation de fonctions en lambda-calcul simplement type et dans d'autres systemes de types

Thierry Joly, 2000 .

Un plongement de la logique classique du 2nd ordre dans AF2

Thierry Joly, T. Joly, 1997 .