The following pages link to Modelling generic judgements (Q2871857):
Displaying 9 items.
- About \({|}/{|}\)-quantifiers (Q1410543) (← links)
- Cut elimination for a logic with induction and co-induction (Q1948276) (← links)
- On the expressivity of minimal generic quantification (Q2804937) (← links)
- A logic for reasoning about generic judgments (Q2871856) (← links)
- Synthesizing judgements: a functional equations approach (Q3026684) (← links)
- (Q4225952) (← links)
- (Q4415240) (← links)
- αCheck: A mechanized metatheory model checker (Q4593089) (← links)
- A semantics for nabla (Q5236555) (← links)
