Encoding natural semantics in Coq (1995)

by D Terrasse
Venue:In AMAST’95, Springer-Verlag LNCS