Stefania Lusin Antonino Salibra The Lattice of Lambda Theories. 373-394 2004 14 J. Log. Comput. 3 http://dx.doi.org/10.1093/logcom/14.3.373 db/journals/logcom/logcom14.html#LusinS04