The following pages link to Martin W. Bunder (Q591019):
Displaying 43 items.
- A decidable theory of type assignment (Q365669) (← links)
- Monotone hulls for \(\mathcal N \cap\mathcal M\) (Q484561) (← links)
- Compositional Z: confluence proofs for permutative conversion (Q514511) (← links)
- Ternary relations and relevant semantics (Q598309) (← links)
- First-order da Costa logic (Q631523) (← links)
- Child's addition in the Stern-Brocot tree (Q657999) (← links)
- Linking the Calkin-Wilf and Stern-Brocot trees (Q709233) (← links)
- A completeness result for the simply typed \(\lambda \mu \)-calculus (Q732057) (← links)
- Unique representations of integers using increasing sequences (Q741673) (← links)
- Types of I-free hereditary right maximal terms (Q812102) (← links)
- Admissibility of cut in LC with fixed point combinator (Q817697) (← links)
- An admissible semantics for propositionally quantified relevant logics (Q848213) (← links)
- Relevant restricted quantification (Q853811) (← links)
- Parameter-free polymorphic types (Q958481) (← links)
- A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism (Q965858) (← links)
- Extensionality and restriction in naive set theory (Q965901) (← links)
- Locating terms in the Stern-Brocot tree (Q966153) (← links)
- Strong normalizability of typed lambda-calculi for substructural logics (Q1001367) (← links)
- The basic constructive logic for a weak sense of consistency (Q1006487) (← links)
- The basic constructive logic for negation-consistency (Q1006496) (← links)
- Illative combinatory logic without equality as a primitive predicate (Q1148305) (← links)
- Minimally inconsistent LP (Q1181492) (← links)
- Polymorphism and apartness (Q1182690) (← links)
- Some notes on 'A deduction theorem for restricted generality' (Q1211498) (← links)
- Alternative forms of propositional calculus for a given deduction theorem (Q1234670) (← links)
- On the equivalence of systems of rules and systems of axioms in illative combinatory logic (Q1234672) (← links)
- Scott's models and illative combinatory logic (Q1234673) (← links)
- Generalised restricted generality (Q1240223) (← links)
- \(\land\)-elimination in illative combinatory logic (Q1252225) (← links)
- Significance and illative combinatory logics (Q1252226) (← links)
- Deduction theorems in significance logics (Q1252227) (← links)
- A more relevant relevance logic (Q1252228) (← links)
- \(\Lambda\)-elimination in illative combinatory logic (Q1257463) (← links)
- Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus (Q1267843) (← links)
- BCK and BCI logics, condensed detachment and the 2-property (Q1309333) (← links)
- The ``relevance'' of intersection and union types (Q1381437) (← links)
- A conjecture on numeral systems (Q1381438) (← links)
- A generalized attack on RSA type cryptosystems (Q1680536) (← links)
- Some results on extensionality in lambda calculus (Q1765154) (← links)
- Propositional and predicate calculus based on combinatory logic (Q5895441) (← links)
- Propositional and predicate calculus based on combinatory logic (Q5921176) (← links)
- Typed lambda-calculus in classical Zermelo-Fraenkel set theory (Q5945009) (← links)
- Variable binding term operators in \(\lambda\)-calculus (Q5967003) (← links)
