Don Pigozzi Antonino Salibra Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus. 47-90 1997 32 Fundam. Inform. 1 db/journals/fuin/fuin32.html#PigozziS97