| Publication | Date of Publication | Type |
|---|
| Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective | 2022-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4596800 | 2017-12-11 | Paper |
| Debate on the concept of probability, and conclusions to this special issue on developments of the concepts of randomness, statistics and probability | 2016-07-26 | Paper |
| BIOLOGICAL ORGANIZATION AND ANTI-ENTROPY | 2016-01-22 | Paper |
| The Unconventionality of Nature: Biology, from Noise to Functional Randomness | 2015-09-14 | Paper |
| Unruly codes with unruly distances raise (combinatorial) problems | 2013-11-01 | Paper |
| Reflections on Concrete Incompleteness | 2013-05-15 | Paper |
| Incomputability in physics and biology | 2012-10-23 | Paper |
| Theorems as Constructive Visions | 2012-09-19 | Paper |
| The mathematics of computing between logic and physics | 2012-09-05 | Paper |
| What is Turing’s Comparison between Mechanism and Writing Worth? | 2012-08-14 | Paper |
| Randomness Increases Order in Biological Evolution | 2012-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3224080 | 2012-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2996953 | 2011-05-04 | Paper |
| Mathematical intuition and the cognitive roots of mathematical concepts | 2010-08-23 | Paper |
| Incomputability in Physics | 2010-07-29 | Paper |
| Phenomenology of Incompleteness: From Formal Deductions to Mathematics and Physics | 2010-01-11 | Paper |
| From exact sciences to life phenomena: Following Schrödinger and Turing on programs, life and causality | 2009-06-08 | Paper |
| Randomness and Determination, from Physics and Computing towards Biology | 2009-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3548538 | 2008-12-16 | Paper |
| EXTENDED CRITICAL SITUATIONS: THE PHYSICAL SINGULARITY OF LIFE PHENOMENA | 2008-10-20 | Paper |
| Computability and the morphological complexity of some dynamics on continuous domains | 2008-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5384901 | 2008-04-29 | Paper |
| The differential method and the causal incompleteness of programming theory in molecular biology | 2008-04-21 | Paper |
| Randomness and determinism in the interplay between the continuum and the discrete | 2007-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3409356 | 2006-11-13 | Paper |
| Possible observation of a cosmic string | 2006-05-09 | Paper |
| The space of general conservation laws and topology changes | 2005-10-20 | Paper |
| The phase-space view of conservation laws | 2004-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736397 | 2004-08-09 | Paper |
| Black holes as parts of entangled systems | 2004-02-03 | Paper |
| Proofs and programs | 2003-09-25 | Paper |
| The general conservation principle. Absolute validity of conservation laws and their role as source of entanglement, topology changes, and generation of masses | 2003-05-13 | Paper |
| The Einstein--Podolsky--Rosen effect: Paradox or gate? | 2003-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4487253 | 2001-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941988 | 2000-10-25 | Paper |
| Coherence and transitivity of subtyping as entailment | 2000-10-03 | Paper |
| A semantic basis for Quest | 2000-02-08 | Paper |
| Dark matter, galaxy sizes and exponential potential | 1997-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4855338 | 1996-04-16 | Paper |
| A calculus for overloaded functions with subtyping | 1995-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4327831 | 1995-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4324390 | 1995-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281468 | 1994-10-19 | Paper |
| The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus | 1994-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3138713 | 1993-11-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4029583 | 1993-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3999603 | 1993-01-23 | Paper |
| Provable isomorphisms of types | 1993-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4010353 | 1992-09-27 | Paper |
| Constructive natural deduction and its ‘ω-set’ interpretation | 1992-09-26 | Paper |
| A category-theoretic characterization of functional completeness | 1990-01-01 | Paper |
| A modest model of records, inheritance, and bounded quantification | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4731167 | 1989-01-01 | Paper |
| On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3211231 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3478383 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3026332 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3701413 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3708006 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3221961 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3682463 | 1984-01-01 | Paper |
| Effectively given domains and lambda-calculus models | 1984-01-01 | Paper |
| The hereditary partial effective functionals and recursion theory in higher types | 1984-01-01 | Paper |
| On combinatory algebras and their expansions | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3677755 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3216107 | 1984-01-01 | Paper |
| Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms | 1983-01-01 | Paper |
| Recursion theoretic operators and morphisms on numbered sets | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3036694 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3707912 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3720581 | 1983-01-01 | Paper |
| An application of informational divergence to Huffman codes | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3962917 | 1982-01-01 | Paper |
| The error exponent for the noiseless encoding of finite ergodic Markov sources | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4739782 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4750538 | 1980-01-01 | Paper |
| Lambda‐Calculus Models and Extensionality | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3893123 | 1980-01-01 | Paper |
| Aλδ-calculus with an algorithmicδ | 1980-01-01 | Paper |
| The source coding theorem revisited: A combinatorial approach | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3050277 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3877672 | 1979-01-01 | Paper |
| Axiomatic theory of enumeration: A note on the axiom of extensionality | 1978-01-01 | Paper |
| On the problem of deciding equality in partial combinatory algebras and in a formal system | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4167586 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4105584 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4132402 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4057637 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3863853 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4132404 | 1974-01-01 | Paper |
| Two-step encoding for finite sources | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4054908 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4068593 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4132403 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4404780 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5641071 | 1972-01-01 | Paper |
| Quantitative — Qualitative Measure of Information | 1972-01-01 | Paper |
| Source Coding Theory | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4055526 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5556884 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5578196 | 1968-01-01 | Paper |
| Sull'invarianza dei codici lineari rispetto a certe trasformazioni | 1967-01-01 | Paper |
| Some properties of binary n-tuples with reference to cyclic codes | 1966-01-01 | Paper |
| Alcuni aspetti della struttura formale dei codici lineari | 1966-01-01 | Paper |
