reFLect
From MaRDI portal
Software:34508
swMATH22717MaRDI QIDQ34508FDOQ34508
Author name not available (Why is that?)
Cited In (6)
- A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL
- Incorporating Quotation and Evaluation into Church’s Type Theory: Syntax and Semantics
- Incorporating quotation and evaluation into Church's type theory
- HOL Light QE
- A reflective functional language for hardware design and theorem proving
- Mothers of pipelines
This page was built for software: reFLect
