Stuk MW0002560 - 24/08/07 Discussions incl. FW Lawvere re plans for Boston colloquium / 8/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Introductory remarks / Steve Awodey: Homotopy type theory / Philippe Gaucher: Homotopical semantics of parallel composition in CC / Kryzysztof Worytkievicz: The folk-model structure for omega-categories / Nicola Gambino: The associated sheaf factor in algebraic set theory / Peter Johnstone: Quadrangle clubs / Paul Andre Mellies: First-order logical duality / 09/09/07: Mark Weber: Parametric right adjoints theorem for simplicial resolutions / Dusko Pavlovic: The geometry of abstraction (and/or authentication)

Identificatie

referentie code

MW0002560

Titel

24/08/07 Discussions incl. FW Lawvere re plans for Boston colloquium / 8/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Introductory remarks / Steve Awodey: Homotopy type theory / Philippe Gaucher: Homotopical semantics of parallel composition in CC / Kryzysztof Worytkievicz: The folk-model structure for omega-categories / Nicola Gambino: The associated sheaf factor in algebraic set theory / Peter Johnstone: Quadrangle clubs / Paul Andre Mellies: First-order logical duality / 09/09/07: Mark Weber: Parametric right adjoints theorem for simplicial resolutions / Dusko Pavlovic: The geometry of abstraction (and/or authentication)

Datum(s)

Beschrijvingsniveau

Stuk

Omvang en medium

Audio: DVDR

Context

Geschiedenis van het archief

Directe bron van verwerving of overbrenging

Inhoud en structuur

Bereik en inhoud

Waardering, vernietiging en slectie

Aanvullingen

Ordeningstelsel

Voorwaarden voor toegang en gebruik

Voorwaarden voor raadpleging

Voorwaarden voor reproductie

Taal van het materiaal

  • Engels

Schrift van het materiaal

    Taal en schrift aantekeningen

    Fysieke eigenschappen en technische eisen

    Toegangen

    Verwante materialen

    Bestaan en verblifplaats van originelen

    Bestaan en verblijfplaats van kopieën

    Related units of description

    Related descriptions

    Aantekeningen

    Aantekening

    edit down metadata so it applies to each track correctly.

    Aantekening

    chcek with Mike - correct metadata for each entry of the dvdr.

    Alternative identifier(s)

    Trefwoorden

    Onderwerp trefwoord

    Geografische trefwoorden

    Naam ontsluitingsterm

    Genre access points

    Beschrijvingsbeheer

    Identificatie van de beschrijving

    Identificatiecode van de instelling

    Toegepaste regels en/of conventies

    Status

    Niveau van detaillering

    Verwijdering van datering archiefvorming

    Taal (talen)

      Schrift(en)

        Bronnen

        Voorwaarden voor raadpleging en gebruik