The following pages link to reFLect (Q34508):
Displaying 6 items.
- A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL (Q541222) (← links)
- Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
- HOL Light QE (Q1791161) (← links)
- Incorporating Quotation and Evaluation into Church’s Type Theory: Syntax and Semantics (Q2817296) (← links)
- Mothers of pipelines (Q2864521) (← links)
- A reflective functional language for hardware design and theorem proving (Q3377460) (← links)