Metric Reasoning About \lambda -Terms: The General Case.

Raphalle Crubill, Ugo Dal Lago

Browse the full ESOP paper archive.