Encoding Natural Semantics in Coq (1995)

Cached

Download Links

by Delphine Terrasse
Venue:In Proc. AMAST, LNCS 936
Citations:7 - 0 self