Pages that link to "Item:Q2133448"
From MaRDI portal
The following pages link to Lourdes del Carmen González Huesca (Q2133448):
Displayed 12 items.
- On interactive proof-search for constructive modal necessity (Q2133450) (← links)
- Gradual typing using union typing with records (Q2133461) (← links)
- Dual and axiomatic systems for constructive S4, a formally verified equivalence (Q2219076) (← links)
- Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems (Q2843039) (← links)
- (Q2944052) (← links)
- (Q2944083) (← links)
- Interactive proof-search for equational reasoning (Q3386920) (← links)
- Selective Memoization with Box Types (Q5170291) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← links)
- Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation (Q5327337) (← links)
- (Q5858675) (← links)
- A dual-context sequent calculus for the constructive modal logic S4 (Q5889308) (← links)