Models of non-well-founded sets via an indexed final coalgebra theorem
by
Benno Van Den Berg
,
Federico De
| Venue: | J. Symbolic Logic |
| Citations: | 4 - 3 self |
Document Versions
| Models of non-well-founded sets via an indexed final coalgebra theorem –Benno Van Den Berg, Federico De — J. Symbolic Logic |
