| Publication | Date of Publication | Type |
|---|
| The summed paperfolding sequence | 2025-01-20 | Paper |
| On the characterization of inconsistency proofs in illative combinatory logic | 2024-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6196568 | 2024-03-14 | Paper |
| On the linear space of the two-sided generalized Fibonacci sequences | 2023-04-06 | Paper |
| BINARY SIGNED-DIGIT REPRESENTATIONS IN PAPERFOLDING | 2022-12-06 | Paper |
| BCI-Algebras and Related Logics | 2022-10-04 | Paper |
| POINTS IN A FOLD | 2022-08-25 | Paper |
| Closed form expressions for two harmonic continued fractions | 2021-11-18 | Paper |
| Generalized Fibonacci sequences and their properties | 2021-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5148797 | 2021-02-05 | Paper |
| AN EXACT FORMULA FOR THE HARMONIC CONTINUED FRACTION | 2021-01-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5217749 | 2020-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5207823 | 2020-01-13 | Paper |
| On the harmonic continued fractions | 2019-08-20 | Paper |
| A generalized attack on RSA type cryptosystems | 2017-11-16 | Paper |
| A New Attack on Three Variants of the RSA Cryptosystem | 2016-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3466593 | 2016-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3466620 | 2016-02-01 | Paper |
| Unique representations of integers using increasing sequences | 2014-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2874755 | 2014-08-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4911405 | 2013-03-14 | Paper |
| Mirroring and interleaving in the paperfolding sequence | 2013-01-31 | Paper |
| Self-matching bands in the paperfolding sequence | 2012-12-19 | Paper |
| Child's addition in the Stern-Brocot tree | 2012-01-11 | Paper |
| Linking the Calkin-Wilf and Stern-Brocot trees | 2010-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3585240 | 2010-08-19 | Paper |
| Locating terms in the Stern-Brocot tree | 2010-04-27 | Paper |
| Proof-finding algorithms for classical and subclassical propositional logics | 2010-01-13 | Paper |
| Some Rough Consequence Logics and their Interrelations | 2009-02-10 | Paper |
| Are there Hilbert-style Pure Type Systems? | 2008-08-07 | Paper |
| On binary reflected Gray codes and functions | 2008-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5440431 | 2008-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5422546 | 2007-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5475659 | 2006-06-27 | Paper |
| Equivalences between pure type systems and systems of illative combinatory logic | 2005-09-28 | Paper |
| Variants of the basic calculus of constructions | 2004-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4459274 | 2004-03-28 | Paper |
| Intersection types for lambda-terms and combinators and their logics | 2003-11-02 | Paper |
| Pure type systems with more liberal rules | 2002-11-13 | Paper |
| On the self matching properties of \([j\tau\)] | 2002-08-25 | Paper |
| Expedited Broda-Damas bracket abstraction | 2002-01-21 | Paper |
| A classification of intersection type systems | 2002-01-01 | Paper |
| Proof finding algorithms for implicational logics | 2000-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940728 | 2000-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4703134 | 1999-12-14 | Paper |
| Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus | 1999-03-07 | Paper |
| Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic | 1999-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218026 | 1998-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4212182 | 1998-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4374894 | 1998-06-04 | Paper |
| Two beta-equal lambda-I-terms with no types in common | 1997-02-27 | Paper |
| Lambda terms definable as combinators | 1997-02-27 | Paper |
| A simplified form of condensed detachment | 1996-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4877446 | 1996-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4856946 | 1995-12-05 | Paper |
| Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends | 1995-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4294469 | 1995-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4305491 | 1995-01-29 | Paper |
| Systems of illative combinatory logic complete for first-order propositional and predicate calculus | 1994-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4007082 | 1992-09-27 | Paper |
| Implementing the `Fool's model' of combinatory logic | 1992-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3360942 | 1991-01-01 | Paper |
| Some improvements to Turner's algorithm for bracket abstraction | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3472081 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3472082 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3475243 | 1989-01-01 | Paper |
| On adding (ξ) to weak equality in combinatory logic | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4207885 | 1989-01-01 | Paper |
| Arithmetic based on the Church numerals in illative combinatory logic | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3352995 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3803094 | 1988-01-01 | Paper |
| Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic | 1987-01-01 | Paper |
| Some generalizations to two systems of set theory based on combinatory logic | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3760500 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3760537 | 1986-01-01 | Paper |
| An extension of Klop's counterexample to the Church-Rosser property to \(\lambda\)-calculus with other ordered pair combinators | 1985-01-01 | Paper |
| Possible forms of evaluation or reduction in Martin-Löf type theory | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3691634 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3752369 | 1985-01-01 | Paper |
| Some definitions of negation leading to paraconsistent logics | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3220556 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3222161 | 1984-01-01 | Paper |
| Category theory based on combinatory logic | 1984-01-01 | Paper |
| A weak absolute consistency proof for some systems of illative combinatory logic | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3221967 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3222844 | 1983-01-01 | Paper |
| Predicate calculus of arbitrarily high finite order | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3320374 | 1983-01-01 | Paper |
| A one axiom set theory based on higher order predicate calculus | 1983-01-01 | Paper |
| Set theory in predicate calculus with equality | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3335783 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3335784 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3335785 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3701424 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4745803 | 1982-01-01 | Paper |
| Deduction theorems for weak implicational logics | 1982-01-01 | Paper |
| Illative combinatory logic without equality as a primitive predicate | 1982-01-01 | Paper |
| Some Results in Aczel‐Feferman Logic and Set Theory | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4745915 | 1981-01-01 | Paper |
| Predicate calculus and naive set theory in pure combinatory logic | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3927250 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3927251 | 1981-01-01 | Paper |
| Significance and illative combinatory logics | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3863855 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3890660 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3890668 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3898468 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3898469 | 1980-01-01 | Paper |
| Variable binding term operators in \(\lambda\)-calculus | 1979-01-01 | Paper |
| Variable binding term operators in \(\lambda\)-calculus | 1979-01-01 | Paper |
| Alternative forms of propositional calculus for a given deduction theorem | 1979-01-01 | Paper |
| Scott's models and illative combinatory logic | 1979-01-01 | Paper |
| Generalised restricted generality | 1979-01-01 | Paper |
| \(\land\)-elimination in illative combinatory logic | 1979-01-01 | Paper |
| Deduction theorems in significance logics | 1979-01-01 | Paper |
| A more relevant relevance logic | 1979-01-01 | Paper |
| \(\Lambda\)-elimination in illative combinatory logic | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3855149 | 1979-01-01 | Paper |
| Equality in 𝔉 with Restricted Subjects | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4154628 | 1978-01-01 | Paper |
| Consistency notions in illative combinatory logic | 1978-01-01 | Paper |
| On the inconsistency of systems similar to | 1978-01-01 | Paper |
| Some anomalies in Fitch's system QD | 1978-01-01 | Paper |
| On the equivalence of systems of rules and systems of axioms in illative combinatory logic | 1977-01-01 | Paper |
| Some notes on 'A deduction theorem for restricted generality' | 1976-01-01 | Paper |
| Commutative non-associative number theory | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4068797 | 1975-01-01 | Paper |
| Propositional and predicate calculus based on combinatory logic | 1974-01-01 | Paper |
| Various systems of set theory based on combinatory logic | 1974-01-01 | Paper |
| Propositional and predicate calculus based on combinatory logic | 1974-01-01 | Paper |
| Various systems of set theory based on combinatory logic | 1974-01-01 | Paper |
| Some Inconsistencies in Illative Combinatory Logic | 1974-01-01 | Paper |
| A generalised Kleene-Rosser paradox for a system containing the combinator K | 1973-01-01 | Paper |
| A deduction theorem for restricted generality | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5675349 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5648336 | 1971-01-01 | Paper |
| A paradox in illative combinatory logic | 1970-01-01 | Paper |
