Searching for "Encoding Generic Judgments." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Encoding Generic Judgments
- …Encoding Generic Judgments ⋆ Dale Miller 1 and Alwen Tiu 2 1 INRIA-FUTURS and Ècole Polytechnique…
- Cited by 2 (2 self) – Add To MetaCart
-
A Proof Search Specification of the π-Calculus
- ….miller@(email omitted); Abstract. We present a meta-logic that contains a new quantifier ∇ (for encoding “generic judgments…
- Add To MetaCart
-
A logic for reasoning about generic judgments
- …Abstract LFMTP 2006 A Logic for Reasoning about Generic Judgments Alwen Tiu Australian National…
- Cited by 3 (1 self) – Add To MetaCart
-
A proof search specification of the π-calculus
- ….miller@(email omitted); Abstract. We present a meta-logic that contains a new quantifier ∇ (for encoding “generic judgments…
- Cited by 14 (7 self) – Add To MetaCart
-
Combining generic judgments with recursive definitions
- … (recursive definitions) and an encoding of binding constructs via generic judgments. However, the logics…
- Cited by 1 (0 self) – Add To MetaCart
-
Model checking for π-calculus using proof search
- … in the logic F Oλ ∆∇ [15], to help encode the notion of “generic judgment” that occurs commonly when reasoning…
- Cited by 10 (3 self) – Add To MetaCart
-
A proof theoretic approach to operational semantics, in
- … in [5,4] for encoding “generic judgments”. For our purposes here, the expression ∇xγ.Bx can be thought…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 7.
