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
4031 más...
Unidad documental simpleMW0001744 - BLANK
Unidad documental simpleMW0001745 - 27/07/02 MW reflections & phone messages
Unidad documental simpleMW0001745 - 27/07/02 MW reflections & phone messages
Unidad documental simpleMW0001746 - 22/07/02 Copenhagen: Conversations FW Lawvere re. restriction of toposes to be generalised spaces (to be localic / QD)
Unidad documental simpleMW0001747 - 22/07/02 Copenhagen: Discussions incl. FW Lawvere re. various topics
Unidad documental simpleMW0001748 - 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
Unidad documental simpleMW0001749 - 21/07/02 FLOC 2002, Domain Theory Workshop for Dana Scott's 70th, Copenhagen: Gordon Plotkin: Algebraic aspects of domain theory / breaktime conversations: FW Lawvere / Glynn Winskel: Domain theory for concurrency / brief conversation: FW Lawvere
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
4195 más...

Informes

22/07/02 Copenhagen: Discussions incl. FW Lawvere re. various topics

No hay informes relevantes para este ítem

Cancelar

Imprimido: 2026-04-18