A Formalisation of Approximation Fixpoint Theory

Bart Bogaerts, Luis Cruz-Filipe

Onderzoeksoutput: Unpublished abstract

Originele taal-2English
Pagina's41-44
StatusPublished - 2021
EvenementTYPES 2021 -
Duur: 5 jul 2021 → …

Conference

ConferenceTYPES 2021
Periode5/07/21 → …

Citeer dit