8 citations · 8 across the 1 of their papers we have counts for
1 paper
Flavien Breuvart, Giulio Manzonetto, Domenico Ruoppolo
We study the relational graph models that constitute a natural subclass of relational models of lambda-calculus. We prove that among the lambda-theories induced by such models ther…