| Original language | English |
|---|---|
| Pages | 41-44 |
| Publication status | Published - 2021 |
| Event | TYPES 2021 - Duration: 5 Jul 2021 → … |
Conference
| Conference | TYPES 2021 |
|---|---|
| Period | 5/07/21 → … |
A Formalisation of Approximation Fixpoint Theory
Bart Bogaerts, Luis Cruz-Filipe
Research output: Unpublished contribution to conference › Unpublished abstract