Carveilho

Área de elementos

Taxonomía

Código

Nota(s) sobre el alcance

Nota(s) sobre el origen

Mostrar nota(s)

Términos jerárquicos

Carveilho

Términos equivalentes

Carveilho

Términos asociados

Carveilho

4 Descripción archivística resultados para Carveilho

4 resultados directamente relacionados Excluir términos relacionados

21/06/07 Intl. Category Theory Conference, Carveilho: P.T Johnstone: Lawvere, cohesion

MW0000140 · Unidad documental simple

Parte de Michael Wright Collection

18/06/07 Intl. Category Theory Conference, Carveilho: FW Lawvere: Strong Nullstellensatz for Euler continua in a cohesive topos / Tom Leinster: Jonsson-Tarski toposes

MW0000141 · Unidad documental simple

Parte de Michael Wright Collection

20/06/07 Intl. Category Theory Conference, Carveilho: Marcelo Fiore: Mathematical theory of substitution / Stephen Lack: Lawvere 2-theories

MW0000141 · Unidad documental simple

Parte de Michael Wright Collection

23/06/07 Intl. Category Theory Conference, Carveilho: Martin Hyland: Fibrations in logic

MW0000140 · Unidad documental simple

Parte de Michael Wright Collection