Labelled Lambda-calculi with Explicit Copy and Erase

Maribel Fernández Nikolaos Siafakas

Published in: LINEARITY (2009)

Keyphrases

multi agent
real time
artificial intelligence
search algorithm
control system
explicitly represented
lambda calculus