Pages that link to "Item:Q3498444"
From MaRDI portal
The following pages link to Mixed Inductive/Coinductive Types and Strong Normalization (Q3498444):
Displaying 4 items.
- Interactive programming in Agda – Objects and graphical user interfaces (Q5372002) (← links)
- Compositional Coinduction with Sized Types (Q5739446) (← links)
- Sound and complete equational reasoning over comodels (Q5971406) (← links)
- Bouncing threads for circular and non-wellfounded proofs. Towards compositionality with circular proofs (Q6649500) (← links)
