Logik och typer

Vid avdelningen bedrivs forskning som berör områden inom logik och semantik för program.

Sidansvarig Publicerad: ti 10 aug 2021.