Pages that link to "Item:Q1346635"

The following pages link to Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends (Q1346635):

Displaying 10 items.

• The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic (Q596035) (← links)
• The systematic construction of a one-combinator basis for lambda-terms (Q1203131) (← links)
• Lambda terms definable as combinators (Q1349878) (← links)
• On principal types of combinators (Q1583260) (← links)
• Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment (Q2254561) (← links)
• A lambda proof of the P-W theorem (Q2710612) (← links)
• Surjectivity for finite sets of combinators by weak reduction (Q3815284) (← links)
• Combinatory logic as monoids (Q4206708) (← links)
• The proofs of <i>α</i> → <i>α</i> in <i>P</i> – <i>W</i> (Q4879907) (← links)
• Ticket Entailment is decidable (Q4925031) (← links)