Pages that link to "Item:Q4372904"

The following pages link to Compact bracket abstraction in combinatory logic (Q4372904):

Displaying 7 items.

• Abstraction problems in combinatory logic: A compositive approach (Q1262300) (← links)
• Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends (Q1346635) (← links)
• A set of combinators for abstraction in linear space (Q1821553) (← links)
• Abstraction in algorithmic logic (Q2481241) (← links)
• Expedited Broda-Damas bracket abstraction (Q2710613) (← links)
• Australasian Association for Logic 1999 Annual Conference Co-Sponsored by The Association for Symbolic Logic (Q4508285) (← links)
• The merits of compositional abstraction: a case study in propositional logic (Q6165816) (← links)