A Single-Step Term-Graph Reduction System for Proof Assistants

Cached

Download Links

by Maarten De Mol , Marko Van Eekelen , Rinus Plasmeijer
Citations:1 - 0 self