The following pages link to On the Jacopini technique (Q1376416):
Displaying 7 items.
- Intersection types and domain operators (Q1434348) (← links)
- Marginalia to a theorem of Jacopini (Q2708320) (← links)
- Simple easy terms (Q2842831) (← links)
- Easy lambda-terms are not always simple (Q2889181) (← links)
- (Q3492662) (← links)
- 1998 European Summer Meeting of the Association for Symbolic Logic (Q4254644) (← links)
- Similarities, differences, and preservation of efficiencies, with application to attitude analysis, within the graph model for conflict resolution (Q6106784) (← links)