Article,

Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus.

, and .
Fundam. Informaticae, 32 (1): 47-90 (1997)

Meta data

Tags

Users

  • @dblp

Comments and Reviews