The following pages link to Aleš Bizjak (Q1704598):
Displaying 13 items.
- A model of guarded recursion via generalised equilogical spaces (Q1704599) (← links)
- On models of higher-order separation logic (Q2130583) (← links)
- Guarded cubical type theory (Q2319985) (← links)
- Relational reasoning for Markov chains in a probabilistic guarded lambda calculus (Q2323974) (← links)
- Guarded Dependent Type Theory with Coinductive Types (Q2811330) (← links)
- Step-Indexed Relational Reasoning for Countable Nondeterminism (Q2851672) (← links)
- ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages (Q2945650) (← links)
- Step-Indexed Logical Relations for Probability (Q2949445) (← links)
- Programming and Reasoning with Guarded Recursion for Coinductive Types (Q2949454) (← links)
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types (Q2974778) (← links)
- The Essence of Higher-Order Concurrent Separation Logic (Q2988664) (← links)
- Guarded Cubical Type Theory: Path Equality for Guarded Recursion (Q5278409) (← links)
- A model of guarded recursion with clock synchronisation (Q5971393) (← links)
