Pages that link to "Item:Q582274"
From MaRDI portal
The following pages link to On sets of solutions to combinator equations (Q582274):
Displaying 5 items.
- An analysis of Böhm's theorem (Q1314351) (← links)
- Some examples of non-existent combinators (Q1314364) (← links)
- Equational programming in \(\lambda\)-calculus via SL-systems. Part 1 (Q1350516) (← links)
- Defining data structures via Böhm-out (Q4836021) (← links)
- Almost combinatorial selector sets (Q5959459) (← links)