Effective λ-models versus recursively enumerable λ-theories

by Chantal Berline , Giulio Manzonetto , Antonino Salibra