Logik och Typer

Computing Science

Data- och informationsteknik

Rektor

coquand

personal page

coquand_Thierry_Coquand

Personer

Välj ämne

För att kunna se denna video måste du öppna dina cookie-inställningar och tillåta extern media-kakor.

För att kunna använda grundläggande funktioner som sidnavigering och få tillgång till säkra områden på webbplatsen måste du öppna dina cookie-inställningar och tillåta nödvändiga cookies.

För att kunna använda denna tjänst måste du öppna dina cookie-inställningar och tillåta externa tjänster-kakor.

För att hjälpa oss att förstå hur våra besökare interagerar med webbplatsen måste du öppna dina cookie-inställningar och tillåta statistik-kakor.

Kursplan för

Ämne

Utbildningsområde

Tillåtna byten av obligatoriska kurser

För att se din utbildningsplan – välj det läsår du påbörjade programmet.

Thierry Coquand

Kontakta mig

Mina länkar