A Formalisation of Approximation Fixpoint Theory

Bart Bogaerts, Luis Cruz-Filipe

Research output: Unpublished contribution to conferenceUnpublished abstract

Original languageEnglish
Pages41-44
Publication statusPublished - 2021
EventTYPES 2021 -
Duration: 5 Jul 2021 → …

Conference

ConferenceTYPES 2021
Period5/07/21 → …

Cite this