Intensional Sets Using Explicit Substitutions
Abstract
No abstract available.
DOI 10.1145/258948.258987
Related papers
- Explicit Substitutions POPL 1990
- Explicit Substitutions JFP 1991
- The intensional content of Rice's theorem POPL 2008
- From Lambda-sigma to Lambda-upsilon a Journey Through Calculi of Explicit Substitutions POPL 1994
- Pure type systems with explicit substitutions JFP 2015
- lambda-nu, A Calculus of Explicit Substitutions which Preserves Strong Normalisation JFP 1996
- Extending a lambda-Calculus with Explicit Substitution which Preserves Strong Normalisation Into a Confluent Calculus on Open Terms JFP 1997
- Probabilistic Programming Inference via Intensional Semantics ESOP 2019