The following pages link to Unification nets (Q5145330):
Displaying 4 items.
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)
- Proof Nets, Coends and the Yoneda Isomorphism (Q5018492) (← links)
- (Q5089024) (← links)
- Deep inference and expansion trees for second-order multiplicative linear logic (Q5236548) (← links)