Item MW0001752 - 20/07/02 FLOC 2002, Domain Theory Workshop for Dana Scott's 70th, Copenhagen: Martin Hyland: Domain models for lambda calculus - categorical perspective 30 years on / John Power: computational effects & operations in Lawvere theories / breaktime conversation: FW Lawvere / JC Reynolds: Relating intrinsic & extrinsic semantics in domain theory / Lee Flax: Approx of entailment theories (1st part)

Zona de identificação

Código de referência

MW0001752

Título

20/07/02 FLOC 2002, Domain Theory Workshop for Dana Scott's 70th, Copenhagen: Martin Hyland: Domain models for lambda calculus - categorical perspective 30 years on / John Power: computational effects & operations in Lawvere theories / breaktime conversation: FW Lawvere / JC Reynolds: Relating intrinsic & extrinsic semantics in domain theory / Lee Flax: Approx of entailment theories (1st part)

Data(s)

Nível de descrição

Item

Dimensão e suporte

Audio: Minidisc

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