Pages that link to "Item:Q1177158"
From MaRDI portal
The following pages link to Co-induction in relational semantics (Q1177158):
Displaying 15 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)
