A Formalisation of Approximation Fixpoint Theory

Bart Bogaerts
, Luis Cruz-Filipe

Informatics and Applied Informatics

Research output: Unpublished contribution to conference › Unpublished abstract

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 → …

Handle.net

Persistent link

FWOAL990: Approximation Fixpoint Theory as a General Algebraic Theory of Constructive Knowledge
De Boer, B. (Administrative Promotor) & Bogaerts, B. (Administrative Promotor)
1/01/21 → 31/12/24
Project: Fundamental

Cite this