Similar Items: Hyper Normalisation and Conditioning for Discrete Probability Distributions
- HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder
- Strong normalisation for applied lambda calculi
- Computability of Probability Distributions and Characteristic Functions
- The Complexity of Second-order HyperLTL
- HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
- Normalisation by Evaluation for Type Theory, in Type Theory