The following pages link to The combinator S (Q1854346):
Displaying 8 items.
- The kernel strategy and its use for the study of combinatory logic (Q1311399) (← links)
- Highlights in infinitary rewriting and lambda calculus (Q1929230) (← links)
- Local Termination (Q3636830) (← links)
- Surjectivity for finite sets of combinators by weak reduction (Q3815284) (← links)
- The combinator M and the Mockingbird lattice (Q5059139) (← links)
- (Q5114826) (← links)
- Stathis Zachos at 70! (Q5283390) (← links)
- Disproving termination of non-erasing sole combinatory calculus with tree automata (Q6666803) (← links)