The following pages link to Martin W. Bunder (Q591019):
Displayed 42 items.
- (Q4305491) (← links)
- Pure type systems with more liberal rules (Q4328821) (← links)
- (Q4374894) (← links)
- (Q4459274) (← links)
- A classification of intersection type systems (Q4532620) (← links)
- (Q4703134) (← links)
- Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic (Q4722038) (← links)
- Some generalizations to two systems of set theory based on combinatory logic (Q4726221) (← links)
- (Q4745803) (← links)
- (Q4745915) (← links)
- Intersection types for lambda-terms and combinators and their logics (Q4779581) (← links)
- (Q4856946) (← links)
- (Q4877446) (← links)
- Self-matching bands in the paperfolding sequence (Q4897553) (← links)
- Mirroring and interleaving in the paperfolding sequence (Q4907268) (← links)
- (Q4911405) (← links)
- (Q4940728) (← links)
- BCI-Algebras and Related Logics (Q5039833) (← links)
- BINARY SIGNED-DIGIT REPRESENTATIONS IN PAPERFOLDING (Q5053454) (← links)
- POINTS IN A FOLD (Q5097513) (← links)
- AN EXACT FORMULA FOR THE HARMONIC CONTINUED FRACTION (Q5147577) (← links)
- (Q5148797) (← links)
- (Q5207823) (← links)
- (Q5217749) (← links)
- (Q5422546) (← links)
- (Q5440431) (← links)
- (Q5475659) (← links)
- (Q5648336) (← links)
- (Q5675349) (← links)
- Closed form expressions for two harmonic continued fractions (Q5860098) (← links)
- Propositional and predicate calculus based on combinatory logic (Q5895441) (← links)
- Variable binding term operators in \(\lambda\)-calculus (Q5906115) (← links)
- Various systems of set theory based on combinatory logic (Q5919203) (← links)
- Propositional and predicate calculus based on combinatory logic (Q5921176) (← links)
- Various systems of set theory based on combinatory logic (Q5921177) (← links)
- A dynamic characterization of the pure logic of relevant implication (Q5935796) (← links)
- Typed lambda-calculus in classical Zermelo-Fraenkel set theory (Q5945009) (← links)
- On the self matching properties of \([j\tau]\) (Q5951933) (← links)
- Variable binding term operators in \(\lambda\)-calculus (Q5967003) (← links)
- (Q6196568) (← links)
- Generalized Fibonacci sequences and their properties (Q6371605) (← links)
- On the linear space of the two-sided generalized Fibonacci sequences (Q6432269) (← links)