Computing with relations, functions, and bindings. (Calculer avec des relations, des fonctions et des lieurs)

Ulysse Gérard. Computing with relations, functions, and bindings. (Calculer avec des relations, des fonctions et des lieurs). PhD thesis, École Polytechnique, France, 2019. [doi]

Abstract

Abstract is missing.