Metric Reasoning About \lambda -Terms: The General Case
Abstract elided by the publisher.
Related papers
- Representing 'undefined' in lambda Calculus JFP 1992
- Applications of Plotkin-Terms: Partitions and Morphisms for Closed Terms JFP 1999
- On Strictness and its Analysis POPL 1987
- Type Inference Logics OOPSLA 2024
- Stochastic lambda calculus and monads of probability distributions POPL 2002
- Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages POPL 2025
- Counting and generating lambda terms JFP 2013
- Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant JFP 2022