Relating the λσ- and λs-styles of explicit substitutions.

Fairouz Kamareddine Alejandro Ríos

Published in: J. Log. Comput. (2000)

Keyphrases

information systems
lower bound
information technology
probability distribution