The following pages link to Rob Arthan (Q287357):
Displaying 13 items.
- On definitions of constants and types in HOL (Q287358) (← links)
- Self-formalisation of higher-order logic. Semantics, soundness, and a verified implementation (Q287361) (← links)
- A Hoare logic for linear systems (Q469998) (← links)
- Double negation semantics for generalisations of Heyting algebras (Q2021570) (← links)
- HOL with Definitions: Semantics, Soundness, and a Verified Implementation (Q2879260) (← links)
- HOL Constant Definition Done Right (Q2879274) (← links)
- A general framework for sound and complete Floyd-Hoare logics (Q2946594) (← links)
- Computational Logic and Continuous Mathematics, Pure and Applied (Q3637259) (← links)
- (Q4790650) (← links)
- (Dual) Hoops Have Unique Halving (Q4913866) (← links)
- On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem (Q5028382) (← links)
- Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC (Q5195279) (← links)
- On the Borel-Cantelli Lemmas, the Erd\H{o}s-R\'enyi Theorem, and the Kochen-Stone Theorem (Q6356391) (← links)
