"Stable Models of Typed lambda-Calculi."

Gérard Berry (1978)
a service of Schloss Dagstuhl - Leibniz Center for Informatics