Pages that link to "Item:Q4589616"
From MaRDI portal
The following pages link to Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion (Q4589616):
Displaying 7 items.
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Unifying Guarded and Unguarded Iteration (Q2988389) (← links)
- (Q4968384) (← links)
- Negative translations and normal modality (Q5111325) (← links)
- (Q5119390) (← links)
- A metalanguage for guarded iteration (Q5918344) (← links)
- Codifying guarded definitions with recursive schemes (Q6083895) (← links)