Swapping: a natural bridge between named and indexed explicit substitution calculi

Ariel Mendelzon Alejandro Ríos Beta Ziliani

Published in: HOR (2010)

Keyphrases

data sets
real time
search engine
image segmentation
multiscale
expert systems
man made
reliability assessment
sequent calculi