Pièce 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)

Zone d'identification

Cote

MW0001752

Titre

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)

Date(s)

Niveau de description

Pièce

Étendue matérielle et support

Audio: Minidisc

Zone du contexte

Histoire archivistique

Source immédiate d'acquisition ou de transfert

Zone du contenu et de la structure

Portée et contenu

Évaluation, élimination et calendrier de conservation

Accroissements

Mode de classement

Zone des conditions d'accès et d'utilisation

Conditions d'accès

Conditions de reproduction

Langue des documents

  • anglais

Écriture des documents

    Notes de langue et graphie

    Caractéristiques matérielle et contraintes techniques

    Instruments de recherche

    Zone des sources complémentaires

    Existence et lieu de conservation des originaux

    Existence et lieu de conservation des copies

    Unités de description associées

    Descriptions associées

    Zone des notes

    Identifiant(s) alternatif(s)

    Mots-clés

    Mots-clés - Sujets

    Mots-clés - Lieux

    Mots-clés - Noms

    Mots-clés - Genre

    Zone du contrôle de la description

    Identifiant de la description

    Identifiant du service d'archives

    Règles et/ou conventions utilisées

    Statut

    Niveau de détail

    Dates de production, de révision, de suppression

    Langue(s)

      Écriture(s)

        Sources

        Zone des entrées