The following pages link to (Q4281476):
Displaying 6 items.
- Full abstraction for the second order subset of an Algol-like language (Q1369235) (← links)
- Full abstraction for PCF (Q1854394) (← links)
- A relational account of call-by-value sequentiality (Q2506495) (← links)
- The variable containment problem (Q4645807) (← links)
- Mechanizing logical relations (Q5890057) (← links)
- Finitary PCF is not decidable (Q5958762) (← links)