Login / Signup
Package Duplication in Interaction Nets and Weak Head Reduction in the lambda-calculus.
Sylvain Lippi
Published in:
Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
</>
lambda calculus
programming language
human computer interaction
predicate calculus
data structure
software engineering
higher order