Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus.

Published in: Fundam. Informaticae (1997)

Keyphrases