Valuation Spaces and Relativisation: The Lambda Calculus Example | Dark Hacker News