Pages that link to "Item:Q1262300"
From MaRDI portal
The following pages link to Abstraction problems in combinatory logic: A compositive approach (Q1262300):
Displaying 12 items.
- The search for a reduction in combinatory logic equivalent to \(\alpha\beta\)-reduction (Q654911) (← links)
- Intersection types for combinatory logic (Q1199823) (← links)
- Capturing strong reduction in director string calculus (Q1208420) (← links)
- Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends (Q1346635) (← links)
- \(\lambda\) to SKI, semantically -- declarative pearl (Q1648865) (← links)
- A set of combinators for abstraction in linear space (Q1821553) (← links)
- Composition under distributive natural transformations: or, when predicate abstraction is impossible (Q2093020) (← links)
- (Q3813790) (← links)
- Compact bracket abstraction in combinatory logic (Q4372904) (← links)
- (Q5114826) (← links)
- Single-domain free logic and the problem of compositionality (Q6067309) (← links)
- The merits of compositional abstraction: a case study in propositional logic (Q6165816) (← links)
