Zone d'identification
Cote
MW0001748
Titre
21/07/02 FLOC 2002, Domain Theory Workshop for Dana Scott's 70th, Copenhagen: Jiri Adamek: A description of free iterative theories (2nd part) / Fer-Jan de Vries: A lambda calculus for D / lunchtime conversations: FW Lawvere & M Hyland re. algebra of time, topos theory
Date(s)
Niveau de description
Pièce
Étendue matérielle et support
Audio: Minidisc
Zone du contexte
Histoire archivistique
"recording 2"
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
Zone des notes
Note
D ?
"check audibility" - first track (the talks)intelligible post processing
Identifiant(s) alternatif(s)
Mots-clés
Mots-clés - Sujets
Mots-clés - Lieux
Mots-clés - Noms
- Adamek, Jiri (Sujet)
- de Viries, Fer-Jan (Sujet)
- Lawvere, Francis William (Sujet)
- Hyland, Martin (Sujet)