Applicative Theories and explicit substitutions (0)

by Partial
Venue:Journal of Logic and Computation