Metric Reasoning About λ-Terms: The General Case (Long Version).

Raphaëlle Crubillé Ugo Dal Lago

Published in: CoRR (2017)

Keyphrases

special case
databases
computational complexity
neural network
genetic algorithm
closely related
background knowledge
case base
metric space