Federico de Marchi

Identifiers

No identifiers captured yet.

Papers (2)

1. Models of Non-Well-Founded Sets via an Indexed Final Coalgebra Theorem math.LO · 2005 · author #2
2. Non-well-founded trees in categories math.CT · 2004 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Benno van den Berg 2 shared papers