Local and asynchronous beta-reduction (an analysis of Girard's execution formula)

Vincent Danos Laurent Regnier

Published in: LICS (1993)

Keyphrases

database
decision trees
quantitative analysis
real time
databases
computer vision
evolutionary algorithm
probabilistic model
scheduling problem
content analysis
reduction method