The following pages link to (Q4267198):
Displaying 16 items.
- Substitution in non-wellfounded syntax with variable binding (Q703526) (← links)
- Algebraic-coalgebraic recursion theory of history-dependent dynamical system models (Q890381) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- Recursive coalgebras from comonads (Q2495640) (← links)
- Unifying Guarded and Unguarded Iteration (Q2988389) (← links)
- Two extensions of system F with (co)iteration and primitive (co)recursion principles (Q3653093) (← links)
- Generalizing Substitution (Q4460688) (← links)
- Termination checking with types (Q4659886) (← links)
- Generalised Coinduction (Q4917033) (← links)
- (Q4968384) (← links)
- Monotone recursive types and recursive data representations in Cedille (Q5076393) (← links)
- The Recursion Scheme from the Cofree Recursive Comonad (Q5166625) (← links)
- Some Remarks on Type Systems for Course-of-value Recursion (Q5178964) (← links)
- Unifying structured recursion schemes (Q5371980) (← links)
- Ramified Corecurrence and Logspace (Q5739361) (← links)
- Least and greatest fixed points in intuitionistic natural deduction (Q5958300) (← links)
