Login / Signup

Graph models of lambda-calculus at work, and variations.

Chantal Berline
Published in: Math. Struct. Comput. Sci. (2006)
Keyphrases