The following pages link to (Q5601834):
Displayed 7 items.
- A functional computation model for the duality of two-variable lambda-Boolean functions (Q861192) (← links)
- Call-by-name, call-by-value and the \(\lambda\)-calculus (Q1225449) (← links)
- A syntactic theory of sequential state (Q1263961) (← links)
- A structural operational semantics for an Edison like language. II (Q1821554) (← links)
- The origins of structural operational semantics (Q1878710) (← links)
- (Q3869322) (← links)
- (Q4171548) (← links)