Similar Items: Positive Inductive-Recursive Definitions
- Abstract GSOS Rules and a Modular Treatment of Recursive Definitions
- Inductive Definition and Domain Theoretic Properties of Fully Abstract
- Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs
- Domain Representable Spaces Defined by Strictly Positive Induction
- Recursive Causal Discovery
- Recursive Concurrent Stochastic Games