The following pages link to Giuseppe Longo (Q1868461):
Displaying 36 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)
- A calculus for overloaded functions with subtyping (Q1891168) (← links)
- The differential method and the causal incompleteness of programming theory in molecular biology (Q2426147) (← links)
- Randomness Increases Order in Biological Evolution (Q2891319) (← links)
- What is Turing’s Comparison between Mechanism and Writing Worth? (Q2904441) (← links)
- (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)
- (Q3026332) (← links)
- (Q3036694) (← links)
- (Q3211231) (← links)
- (Q3216107) (← links)
- (Q3221961) (← links)
- (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)
- (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)
- (Q3677755) (← links)
- (Q3682463) (← links)
- (Q3701413) (← links)
- (Q3708006) (← links)
- (Q3720581) (← links)
- Effectively given domains and lambda-calculus models (Q3734353) (← links)
- The hereditary partial effective functionals and recursion theory in higher types (Q3734394) (← links)
- (Q3863853) (← links)
- Aλδ-calculus with an algorithmicδ (Q3869320) (← links)
- (Q3877672) (← links)
- Lambda‐Calculus Models and Extensionality (Q3900018) (← links)
- (Q3999603) (← links)
- Constructive natural deduction and its ‘ω-set’ interpretation (Q4006232) (← links)
- (Q4010353) (← links)
- Provable isomorphisms of types (Q4017461) (← links)
- (Q4029583) (← links)
- (Q4057637) (← links)
- (Q4167586) (← links)
- (Q4281468) (← links)
- (Q4324390) (← links)
- (Q4327831) (← links)
- (Q4487253) (← links)
- Coherence and transitivity of subtyping as entailment (Q4507489) (← links)
- (Q4596800) (← links)
- (Q4731167) (← links)
- (Q4736397) (← links)
- (Q4855338) (← links)
- Reflections on Concrete Incompleteness (Q4919636) (← links)
- A semantic basis for Quest (Q4939689) (← links)
- (Q4941988) (← links)
- Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective (Q5096248) (← links)
- (Q5384901) (← links)
- Debate on the concept of probability, and conclusions to this special issue on developments of the concepts of randomness, statistics and probability (Q5740368) (← 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)
- Possible observation of a cosmic string (Q2369344) (← 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)
- (Q2857408) (← links)
- (Q3050277) (← links)
- Dark matter, galaxy sizes and exponential potential (Q3129244) (← links)
- (Q3138713) (← links)
- (Q3707912) (← links)
- The source coding theorem revisited: A combinatorial approach (Q3855093) (← links)
- (Q3893123) (← links)
- An application of informational divergence to Huffman codes (Q3926483) (← links)
- The error exponent for the noiseless encoding of finite ergodic Markov sources (Q3955265) (← links)
- (Q3962917) (← links)
- (Q4054908) (← links)
- (Q4055526) (← links)
- (Q4068593) (← links)
- (Q4105584) (← links)
- (Q4132402) (← links)
- (Q4132403) (← links)
- (Q4132404) (← links)
- Two-step encoding for finite sources (Q4404779) (← links)
- (Q4404780) (← links)
- Black holes as parts of entangled systems (Q4446922) (← links)
- (Q4739782) (← links)
- (Q4750538) (← links)
- Quantitative — Qualitative Measure of Information (Q4768974) (← links)
- Source Coding Theory (Q4768975) (← links)
- The phase-space view of conservation laws (Q4820865) (← links)
- (Q5556884) (← links)
- (Q5578196) (← links)
- (Q5641071) (← links)
