The following pages link to Giuseppe Longo (Q1868461):
Displaying 50 items.
- (Q760414) (redirect page) (← links)
- On combinatory algebras and their expansions (Q760416) (← links)
- A category-theoretic characterization of functional completeness (Q912587) (← links)
- A modest model of records, inheritance, and bounded quantification (Q922718) (← links)
- Computability and the morphological complexity of some dynamics on continuous domains (Q930875) (← links)
- Mathematical intuition and the cognitive roots of mathematical concepts (Q989742) (← links)
- From exact sciences to life phenomena: Following Schrödinger and Turing on programs, life and causality (Q1021567) (← links)
- Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms (Q1050334) (← links)
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- On the problem of deciding equality in partial combinatory algebras and in a formal system (Q1236107) (← links)
- Axiomatic theory of enumeration: A note on the axiom of extensionality (Q1248504) (← links)
- The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus (Q1314360) (← links)
- Proofs and programs (Q1408657) (← links)
- The Einstein--Podolsky--Rosen effect: Paradox or gate? (Q1868462) (← links)
- The general conservation principle. Absolute validity of conservation laws and their role as source of entanglement, topology changes, and generation of masses (Q1870449) (← links)
- A calculus for overloaded functions with subtyping (Q1891168) (← links)
- Possible observation of a cosmic string (Q2369344) (← links)
- The differential method and the causal incompleteness of programming theory in molecular biology (Q2426147) (← links)
- Some properties of binary n-tuples with reference to cyclic codes (Q2524149) (← links)
- Sull'invarianza dei codici lineari rispetto a certe trasformazioni (Q2526070) (← links)
- Alcuni aspetti della struttura formale dei codici lineari (Q2541320) (← links)
- The space of general conservation laws and topology changes (Q2569858) (← links)
- Unruly codes with unruly distances raise (combinatorial) problems (Q2857408) (← links)
- Randomness Increases Order in Biological Evolution (Q2891319) (← links)
- What is Turing’s Comparison between Mechanism and Writing Worth? (Q2904441) (← links)
- The mathematics of computing between logic and physics (Q2906567) (← links)
- Theorems as Constructive Visions (Q2915840) (← links)
- Incomputability in physics and biology (Q2919943) (← links)
- The Unconventionality of Nature: Biology, from Noise to Functional Randomness (Q2945553) (← links)
- (Q2996953) (← links)
- Relating type-structures. Partial variations on a theme of Friedman and Statman (Q3026332) (← links)
- (Q3036694) (← links)
- (Q3050277) (← links)
- Dark matter, galaxy sizes and exponential potential (Q3129244) (← links)
- (Q3138713) (← links)
- On some fundamental problems of information theory (Q3211231) (← links)
- Continuous structures and analytic methods in computer science (Q3216107) (← links)
- Extended type structures and filter lambda models (Q3221961) (← links)
- Some bridging results and challenges in classical, quantum and computational randomness (Q3224080) (← links)
- Recursion theoretic operators and morphisms on numbered sets (Q3340845) (← links)
- (Q3409356) (← links)
- Randomness and determinism in the interplay between the continuum and the discrete (Q3444643) (← links)
- BIOLOGICAL ORGANIZATION AND ANTI-ENTROPY (Q3465763) (← links)
- From numbered sets to type theories (Q3478383) (← links)
- EXTENDED CRITICAL SITUATIONS: THE PHYSICAL SINGULARITY OF LIFE PHENOMENA (Q3530597) (← links)
- (Q3548538) (← links)
- Incomputability in Physics (Q3576215) (← links)
- Randomness and Determination, from Physics and Computing towards Biology (Q3599063) (← links)
- Phenomenology of Incompleteness: From Formal Deductions to Mathematics and Physics (Q3654823) (← links)
- Cartesian closed categories of enumerations for effective type structures (Q3677755) (← links)
