The following pages link to (Q3522248):
Displaying 8 items.
- Imaginary groups: lazy monoids and reversible computation (Q5400854) (← links)
- Clocks for Functional Programs (Q5410452) (← links)
- (Q6060673) (← links)
- From semantics to types: the case of the imperative \(\lambda\)-calculus (Q6093581) (← links)
- A Formal Proof of the Strong Normalization Theorem for System T in Agda (Q6118750) (← links)
- A (machine-oriented) logic based on pattern matching (Q6149946) (← links)
- Logical predicates in higher-order mathematical operational semantics (Q6629517) (← links)
- Puzzles of existential generalisation from type-theoretic perspective (Q6659899) (← links)