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