Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications
Paperback
$30.00
Loading availability...
Pick up in store
Your local store may have stock of this item.
Your local store may have stock of this item.
Proposes a general theory of reflective logics and reflective declarative programming languages.



