Stuk 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)

Identificatie

referentie code

MW0001752

Titel

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)

Datum(s)

Beschrijvingsniveau

Stuk

Omvang en medium

Audio: Minidisc

Context

Geschiedenis van het archief

Directe bron van verwerving of overbrenging

Inhoud en structuur

Bereik en inhoud

Waardering, vernietiging en slectie

Aanvullingen

Ordeningstelsel

Voorwaarden voor toegang en gebruik

Voorwaarden voor raadpleging

Voorwaarden voor reproductie

Taal van het materiaal

  • Engels

Schrift van het materiaal

    Taal en schrift aantekeningen

    Fysieke eigenschappen en technische eisen

    Toegangen

    Verwante materialen

    Bestaan en verblifplaats van originelen

    Bestaan en verblijfplaats van kopieën

    Related units of description

    Related descriptions

    Aantekeningen

    Alternative identifier(s)

    Trefwoorden

    Onderwerp trefwoord

    Geografische trefwoorden

    Naam ontsluitingsterm

    Genre access points

    Beschrijvingsbeheer

    Identificatie van de beschrijving

    Identificatiecode van de instelling

    Toegepaste regels en/of conventies

    Status

    Niveau van detaillering

    Verwijdering van datering archiefvorming

    Taal (talen)

      Schrift(en)

        Bronnen

        Voorwaarden voor raadpleging en gebruik