"Lambda Theories of Effective Lambda Models."

Chantal Berline, Giulio Manzonetto, Antonino Salibra (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics