Login / Signup
A Fully Labelled Lambda Calculus: Towards Closed Reduction in the Geometry of Interaction Machine.
Nikolaos Siafakas
Published in:
Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
</>
lambda calculus
predicate calculus
programming language
human computer interaction
program understanding
database query languages
expert systems