Logic and Types

Avdelningen är en av två nya som bildats ur den tidigare avdelningen för datavetenskap, och arbetar inom bland annat typteori, formella bevis, och funktionell programmering.

Publicerad: må 23 apr 2018. Ändrad: ti 24 apr 2018