The following pages link to Sylvain Lippi (Q2464712):
Displayed 7 items.
- The graphical Krivine machine (Q2464713) (← links)
- (Q2843934) (← links)
- Universal Boolean Systems (Q2870310) (← links)
- Hard combinators (Q2870311) (← links)
- Universal Hard Interaction for Clockless Computation (Q3634004) (← links)
- Encoding left reduction in the λ-calculus with interaction nets (Q4405695) (← links)
- (Q4808763) (← links)