Gilles Dowek Lambda-calculus, Combinators and the Comprehension Scheme. 154-170 1995 conf/tlca/1995 TLCA db/conf/tlca/tlca95.html#Dowek95