Models of non-well-founded sets via an indexed final coalgebra theorem.

  • B. van den Berg
  • , F. de Marchi

Research output: Contribution to journal › Article › Academic › peer-review

Fingerprint

Dive into the research topics of 'Models of non-well-founded sets via an indexed final coalgebra theorem.'. Together they form a unique fingerprint.

Keyphrases

Mathematics