Búsqueda

Búsqueda global

Búsqueda avanzada

Portapapeles
- Portapapeles
- Borrar selección
- Ir al portapapeles
- Cargar portapapeles
- Save clipboard
Idioma
- Idioma
- English
- Français
- Español
- Nederlands
- Português
Enlaces rápidos
- Enlaces rápidos
- Inicio
- Acerca
- Privacy Policy
- Ayuda

¿Estás registrado?

Correo electrónico*This field is required.

Contraseña*This field is required.

FondoMichael Wright Collection
4038 más...
Unidad documental simpleMW0001750 - 21/07/02 FLOC 2002, Domain Theory Workshop for Dana Scott's 70th, Copenhagen: FW Lawvere: Some open problems concerning Cartesian closed categories / breaktime conversations: FW Lawvere, A Kock re. differential geometry in a topos & objective number theory
Unidad documental simpleMW0001751 - 20/07/02 FLOC 2002, Domain Theory Workshop for Dana Scott's 70th, Copenhagen: Martin Escardo: Interactions between domain theory & topology / Panagis Karazeris: Left Kan extensions power domain distributivity & preservation of bisimulation
Unidad documental simpleMW0001752 - 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)
Unidad documental simpleMW0001753 - 20/07/02 FLOC 2002, Domain Theory Workshop for Dana Scott's 70th, Copenhagen: Lee Flax: Approx of entailment theories (2nd part) / lunchtime conversations / conversations FW Lawvere & J Power / FW Lawvere re. extending notion of homomorphism vs ideals as point of departure fro noncommutative geometry
Unidad documental simpleMW0001754 - 20/07/02 Conversations (bus): FW Lawvere re. Schroeder vs Frege / Husserl
Unidad documental simpleMW0001754 - 20/07/02 Conversations (hotel): FW Lawvere re. Schroeder vs Frege / Husserl
Unidad documental simpleMW0001755 - 20/07/02 FW Lawvere et al. / conversations: FW Lawvere re. noncommutative geometry
Unidad documental simpleMW0001755 - 22/07/02 conversations: FW Lawvere
Unidad documental simpleMW0001756 - 24/07/02 BBC Radio 4: Broken Symmetries in the Early Universe
4188 más...

Informes

20/07/02 Conversations (bus): FW Lawvere re. Schroeder vs Frege / Husserl

No hay informes relevantes para este ítem

Cancelar

Imprimido: 2026-04-17