Carveilho

Elements area

Taxonomy

Code

Scope note(s)

Source note(s)

Display note(s)

Hierarchical terms

Carveilho

Equivalent terms

Carveilho

Associated terms

Carveilho

4 Archival description results for Carveilho

4 results directly related Exclude narrower terms

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

MW0000140 · Item

Part of Michael Wright Collection

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

MW0000140 · Item

Part of Michael Wright Collection

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

MW0000141 · Item

Part of 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 · Item

Part of Michael Wright Collection