Characterising Strong Normalisation for Explicit Substitutions.

Steffen van Bakel Mariangiola Dezani-Ciancaglini

Published in: LATIN (2002)

Keyphrases

real time
database
image sequences
information technology
domain knowledge