Login / Signup
Uniformity and the Taylor expansion of ordinary lambda-terms.
Thomas Ehrhard
Laurent Regnier
Published in:
Theor. Comput. Sci. (2008)
Keyphrases
</>
digital libraries
social networks
e learning
mobile robot