Login / Signup

A typed, algebraic, computational lambda-calculus.

Benoît Valiron
Published in: Math. Struct. Comput. Sci. (2013)
Keyphrases