Item MW0002594 - 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

Zona de identificação

Código de referência

MW0002594

Título

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

Data(s)

Nível de descrição

Item

Dimensão e suporte

Audio: CDR

Zona do contexto

História do arquivo

Fonte imediata de aquisição ou transferência

Zona do conteúdo e estrutura

Âmbito e conteúdo

Avaliação, selecção e eliminação

Ingressos adicionais

Sistema de arranjo

Zona de condições de acesso e utilização

Condições de acesso

Condiçoes de reprodução

Idioma do material

  • inglês

Script do material

    Notas ao idioma e script

    Características físicas e requisitos técnicos

    Instrumentos de descrição

    Zona de documentação associada

    Existência e localização de originais

    Existência e localização de cópias

    Unidades de descrição relacionadas

    Descrições relacionadas

    Zona das notas

    Identificador(es) alternativo(s)

    Pontos de acesso

    Pontos de acesso - Assuntos

    Pontos de acesso - Locais

    Pontos de acesso - Nomes

    Pontos de acesso de género

    Zona do controlo da descrição

    Identificador da descrição

    Identificador da instituição

    Regras ou convenções utilizadas

    Estatuto

    Nível de detalhe

    Datas de criação, revisão, eliminação

    Línguas e escritas

      Script(s)

        Fontes

        Zona da incorporação