| Publication | Date of Publication | Type |
|---|
Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective
Category Theory and Computer Science | 2022-08-16 | Paper |
From logic to biology via physics: a survey
| 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
Mathematical Structures in Computer Science | 2016-07-26 | Paper |
Biological organization and anti-entropy
Journal of Biological Systems | 2016-01-22 | Paper |
The unconventionality of nature: biology, from noise to functional randomness
Unconventional Computation and Natural Computation | 2015-09-14 | Paper |
Unruly codes with unruly distances raise (combinatorial) problems
| 2013-11-01 | Paper |
Reflections on concrete incompleteness
Philosophia Mathematica | 2013-05-15 | Paper |
Incomputability in physics and biology
MSCS. Mathematical Structures in Computer Science | 2012-10-23 | Paper |
Theorems as constructive visions
New ICMI Study Series | 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?
Lecture Notes in Computer Science | 2012-08-14 | Paper |
Randomness increases order in biological evolution
Computation, Physics and Beyond | 2012-06-15 | Paper |
Some bridging results and challenges in classical, quantum and computational randomness
| 2012-03-29 | Paper |
scientific article; zbMATH DE number 5883858 (Why is no real title available?)
| 2011-05-04 | Paper |
Mathematical intuition and the cognitive roots of mathematical concepts
Topoi | 2010-08-23 | Paper |
Incomputability in physics
Programs, Proofs, Processes | 2010-07-29 | Paper |
Phenomenology of incompleteness: From formal deductions to mathematics and physics
Deduction, Computation, Experiment | 2010-01-11 | Paper |
From exact sciences to life phenomena: Following Schrödinger and Turing on programs, life and causality
Information and Computation | 2009-06-08 | Paper |
Randomness and Determination, from Physics and Computing towards Biology
Lecture Notes in Computer Science | 2009-02-03 | Paper |
scientific article; zbMATH DE number 5382519 (Why is no real title available?)
| 2008-12-16 | Paper |
EXTENDED CRITICAL SITUATIONS: THE PHYSICAL SINGULARITY OF LIFE PHENOMENA
Journal of Biological Systems | 2008-10-20 | Paper |
Computability and the morphological complexity of some dynamics on continuous domains
Theoretical Computer Science | 2008-06-24 | Paper |
The reasonable effectiveness of mathematics and its cognitive roots
| 2008-04-29 | Paper |
The differential method and the causal incompleteness of programming theory in molecular biology
Foundations of Science | 2008-04-21 | Paper |
Randomness and determinism in the interplay between the continuum and the discrete
Mathematical Structures in Computer Science | 2007-06-04 | Paper |
scientific article; zbMATH DE number 5071536 (Why is no real title available?)
| 2006-11-13 | Paper |
Possible observation of a cosmic string
Gravitation & Cosmology | 2006-05-09 | Paper |
The space of general conservation laws and topology changes
Rendiconti del Circolo Matematico di Palermo | 2005-10-20 | Paper |
The phase-space view of conservation laws
Mathematical Inequalities & Applications | 2004-10-01 | Paper |
scientific article; zbMATH DE number 2085173 (Why is no real title available?)
| 2004-08-09 | Paper |
Black holes as parts of entangled systems
Astronomische Nachrichten: A Journal on all Fields of Astronomy | 2004-02-03 | Paper |
Proofs and programs
Synthese | 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
Physics Letters. A | 2003-05-13 | Paper |
The Einstein--Podolsky--Rosen effect: Paradox or gate?
General Relativity and Gravitation | 2003-04-27 | Paper |
scientific article; zbMATH DE number 1463093 (Why is no real title available?)
| 2001-10-30 | Paper |
scientific article; zbMATH DE number 1418433 (Why is no real title available?)
| 2000-10-25 | Paper |
Coherence and transitivity of subtyping as entailment
Journal Of Logic And Computation | 2000-10-03 | Paper |
A semantic basis for Quest
Journal of Functional Programming | 2000-02-08 | Paper |
Dark matter, galaxy sizes and exponential potential
Astronomische Nachrichten: A Journal on all Fields of Astronomy | 1997-04-27 | Paper |
scientific article; zbMATH DE number 814793 (Why is no real title available?)
| 1996-04-16 | Paper |
A calculus for overloaded functions with subtyping
Information and Computation | 1995-08-27 | Paper |
scientific article; zbMATH DE number 742721 (Why is no real title available?)
| 1995-04-09 | Paper |
scientific article; zbMATH DE number 727467 (Why is no real title available?)
| 1995-02-28 | Paper |
scientific article; zbMATH DE number 512775 (Why is no real title available?)
| 1994-10-19 | Paper |
The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus
Theoretical Computer Science | 1994-03-03 | Paper |
scientific article; zbMATH DE number 431943 (Why is no real title available?)
| 1993-11-15 | Paper |
scientific article; zbMATH DE number 139605 (Why is no real title available?)
| 1993-03-28 | Paper |
scientific article; zbMATH DE number 49833 (Why is no real title available?)
| 1993-01-23 | Paper |
Provable isomorphisms of types
Mathematical Structures in Computer Science | 1993-01-16 | Paper |
scientific article; zbMATH DE number 65742 (Why is no real title available?)
| 1992-09-27 | Paper |
Constructive natural deduction and its ‘ω-set’ interpretation
Mathematical Structures in Computer Science | 1992-09-26 | Paper |
A category-theoretic characterization of functional completeness
Theoretical Computer Science | 1990-01-01 | Paper |
A modest model of records, inheritance, and bounded quantification
Information and Computation | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4116496 (Why is no real title available?)
| 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
Annals of Pure and Applied Logic | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4191546 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4148056 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4014020 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3926901 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3933052 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3889502 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3904559 (Why is no real title available?)
| 1984-01-01 | Paper |
Effectively given domains and lambda-calculus models
Information and Control | 1984-01-01 | Paper |
The hereditary partial effective functionals and recursion theory in higher types
Journal of Symbolic Logic | 1984-01-01 | Paper |
On combinatory algebras and their expansions
Theoretical Computer Science | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3898875 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3881851 (Why is no real title available?)
| 1984-01-01 | Paper |
Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
Annals of Pure and Applied Logic | 1983-01-01 | Paper |
Recursion theoretic operators and morphisms on numbered sets
Fundamenta Mathematicae | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3831284 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3932941 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3950508 (Why is no real title available?)
| 1983-01-01 | Paper |
An application of informational divergence to Huffman codes
IEEE Transactions on Information Theory | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3784787 (Why is no real title available?)
| 1982-01-01 | Paper |
The error exponent for the noiseless encoding of finite ergodic Markov sources
IEEE Transactions on Information Theory | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3793923 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3807504 (Why is no real title available?)
| 1980-01-01 | Paper |
Lambda‐Calculus Models and Extensionality
Mathematical Logic Quarterly | 1980-01-01 | Paper |
scientific article; zbMATH DE number 3700012 (Why is no real title available?)
| 1980-01-01 | Paper |
Aλδ-calculus with an algorithmicδ
Archiv für Mathematische Logik und Grundlagenforschung | 1980-01-01 | Paper |
The source coding theorem revisited: A combinatorial approach
IEEE Transactions on Information Theory | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3644948 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3681749 (Why is no real title available?)
| 1979-01-01 | Paper |
Axiomatic theory of enumeration: A note on the axiom of extensionality
Studia Logica | 1978-01-01 | Paper |
On the problem of deciding equality in partial combinatory algebras and in a formal system
Studia Logica | 1976-01-01 | Paper |
scientific article; zbMATH DE number 3601114 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3528133 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3559434 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3473353 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3664904 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3559436 (Why is no real title available?)
| 1974-01-01 | Paper |
Two-step encoding for finite sources
IEEE Transactions on Information Theory | 1973-01-01 | Paper |
scientific article; zbMATH DE number 3470276 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3485635 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3559435 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3438739 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3368539 (Why is no real title available?)
| 1972-01-01 | Paper |
Quantitative — Qualitative Measure of Information
CISM International Centre for Mechanical Sciences | 1972-01-01 | Paper |
Source Coding Theory
CISM International Centre for Mechanical Sciences | 1972-01-01 | Paper |
scientific article; zbMATH DE number 3471937 (Why is no real title available?)
| 1972-01-01 | Paper |
scientific article; zbMATH DE number 3272061 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3295901 (Why is no real title available?)
| 1968-01-01 | Paper |
Sull'invarianza dei codici lineari rispetto a certe trasformazioni
Calcolo | 1967-01-01 | Paper |
Some properties of binary n-tuples with reference to cyclic codes
Calcolo | 1966-01-01 | Paper |
Alcuni aspetti della struttura formale dei codici lineari
Calcolo | 1966-01-01 | Paper |
