The following pages link to Mechanizing logical relations (Q5890057):
Displaying 9 items.
- Mechanizing Logic. II: Automated map logic method for relational arguments on paper and by computer (Q759743) (← links)
- Full abstraction for the second order subset of an Algol-like language (Q1369235) (← links)
- Degrees of parallelism in the continuous type hierarchy (Q1391861) (← links)
- Relative definability of boolean functions via hypergraphs (Q1605175) (← links)
- Linear Läuchli semantics (Q1919529) (← links)
- Definability and full abstraction (Q2864154) (← links)
- (Q4036558) (← links)
- Computer Science Logic (Q5292670) (← links)
- On the expressive power of first-order boolean functions in PCF (Q5958769) (← links)