Pages that link to "Item:Q1177158"
From MaRDI portal
The following pages link to Co-induction in relational semantics (Q1177158):
Displaying 20 items.
- Type inference for polymorphic references (Q918190) (← links)
- Coinductive big-step operational semantics (Q1012129) (← links)
- A co-induction principle for recursively defined domains (Q1318702) (← links)
- A simplified account of polymorphic references (Q1334643) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- A proof method for the correctness of modularized 0CFA (Q1603499) (← links)
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation (Q1605224) (← links)
- A hidden Herbrand theorem: Combining the object and logic paradigms (Q1858427) (← links)
- The fixed-point theory of strictly causal functions (Q2257306) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- Final coalgebras and the Hennessy-Milner property (Q2576941) (← links)
- Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts (Q2642466) (← links)
- Generalizing Inference Systems by Coaxioms (Q2988632) (← links)
- (Q3121528) (← links)
- A Co-inductive Language and Truth Degrees (Q3172837) (← links)
- Using a generalisation critic to find bisimulations for coinductive proofs (Q5234712) (← links)
- Practical coinduction (Q5361147) (← links)
- Simple type inference for term graph rewriting systems (Q5881175) (← links)
- A structural co-induction theorem (Q5890042) (← links)
- Control-flow analysis of function calls and returns by abstract interpretation (Q5891553) (← links)
