The following pages link to Reading, Writing and Relations (Q5385590):
Displayed 7 items.
- Automata-theoretic semantics of idealized Algol with passive expressions (Q265826) (← links)
- The untyped computational \(\lambda \)-calculus and its intersection type discipline (Q2210507) (← links)
- A Kripke logical relation for effect-based program transformations (Q2629855) (← links)
- Algebras for Parameterised Monads (Q2888473) (← links)
- Counting Successes: Effects and Transformations for Non-deterministic Programs (Q3188280) (← links)
- Proof-Relevant Logical Relations for Name Generation (Q4637685) (← links)
- From semantics to types: the case of the imperative \(\lambda\)-calculus (Q6093581) (← links)