The following pages link to Tristan Crolard (Q197378):
Displaying 5 items.
- (Q444458) (redirect page) (← links)
- Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (Q444460) (← links)
- Extending the loop language with higher-order procedural variables (Q2946583) (← links)
- (Q3431405) (← links)
- A Formulae-as-Types Interpretation of Subtractive Logic (Q4823807) (← links)
