Showing 8146 results

Archival description
Print preview
Card view Table view
29/06/07 Workshop in honour of Guiseppe Longo's 60th Birthday; from typed lambda calculus to morphologic complexity: Pierre-Louis Curien: Computational self-assembly / subsequent discussion / John Stewart: Is life (turing-) computable? Introduction to and reflection on some ideas of Robert Rosen / Subsequent discussion / Luca Cardelli: Artificial biochemistry / Lunch conversations / Mariangiola Dezani: Session types for object-oriented languages / MW microphone test
michael-wright-collection-MW0002594 · Item
Part of Michael Wright Collection
29/06/07 Workshop in honour of Guiseppe Longo's 60th Birthday; from typed lambda calculus to morphologic complexity: Abbas Edalat: The derivative and it's generalisation to higer dimensions / Thierry Paul: Semi-classical analysis and the problem of initial conditions (and the relation of classical to quantum systems) / Guiseppe Longo: Some thoughts on incompleteness, openness & conceptual circularities in the exact sciences and in the life sciences; with some reflections on Bohr & Schroedinger
michael-wright-collection-MW0002592 · Item
Part of Michael Wright Collection
29/06/07 Workshop in honour of Guiseppe Longo's 60th Birthday; from typed lambda calculus to morphologic complexity: Abbas Edalat: The derivative and it's generalisation to higer dimensions / Thierry Paul: Semi-classical analysis and the problem of initial conditions (and the relation of classical to quantum systems) / Guiseppe Longo: Some thoughts on incompleteness, openness & conceptual circularities in the exact sciences and in the life sciences; with some reflections on Bohr & Schroedinger
michael-wright-collection-MW0002593 · Item
Part of Michael Wright Collection