2018-02-14: Fredrik Nordvall Forsberg (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Fredrik Nordvall Forsberg (MSP)

MSP 101: Domain Theory

Abstract

I will give an introduction to Domain Theory, focusing on motivation. I hope to cover recursive definitions, and solving domain equations using retraction pairs.

2018-02-14 15:00:00 UTC
LT1310