11 citations · 42 across the 14 of their papers we have counts for
1 paper · 1 filter
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…