The following pages link to (Q2957694):
Displaying 12 items.
- Rewriting with a nondeterministic choice operator (Q1096383) (← links)
- Confluence of the coinductive \(\lambda\)-calculus (Q1884931) (← links)
- Highlights in infinitary rewriting and lambda calculus (Q1929230) (← links)
- Transducer degrees: atoms, infima and suprema (Q2182680) (← links)
- (Q3300788) (← links)
- (Q4600775) (← links)
- Term rewriting characterisation of LOGSPACE for finite and infinite data (Q4993339) (← links)
- (Q5109521) (← links)
- Proof Terms for Infinitary Rewriting (Q5170824) (← links)
- (Q5216302) (← links)
- Clocks for Functional Programs (Q5410452) (← links)
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications (Q6178717) (← links)