Área de identidad
Código de referencia
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)
Fecha(s)
Nivel de descripción
Unidad documental simple
Volumen y soporte
Audio: Minidisc
Área de contexto
Historia archivística
Origen del ingreso o transferencia
Área de contenido y estructura
Alcance y contenido
Valorización, destrucción y programación
Acumulaciones
Sistema de arreglo
Área de condiciones de acceso y uso
Condiciones de acceso
Condiciones
Idioma del material
inglés
Escritura del material
Notas sobre las lenguas y escrituras
Características físicas y requisitos técnicos
Instrumentos de descripción
Área de materiales relacionados
Existencia y localización de originales
Existencia y localización de copias
Unidades de descripción relacionadas
Área de notas
Identificador/es alternativo(os)
Puntos de acceso
Puntos de acceso por materia
Puntos de acceso por lugar
Puntos de acceso por autoridad
- Hyland, Martin (Materia)
- Power, John (Materia)