Functions as Processes: Termination and the lm[(m)\tilde]\lambda\mu\widetilde{\mu}-Calculus.

Matteo Cimini Claudio Sacerdoti Coen Davide Sangiorgi

Published in: TGC (2010)

Keyphrases

development environment
term rewriting
database
language model
genetic algorithm
artificial intelligence
relational databases
software engineering
computational models
communication channels
lambda calculus