Now showing items 1-1 of 1

    • Compositional Computational Reflection 

      Malecha, Gregory Michael; Chlipala, Adam; Baibant, Thomas (Springer Science + Business Media, 2014)
      Current work on computational reflection is single-minded; each reflective procedure is written with a specific application or scope in mind. Composition of these reflective procedures is done by a proof- generating tactic ...