Encoding Natural Semantics in Coq

Delphine Terrasse. Encoding Natural Semantics in Coq. In Vangalur S. Alagar, Maurice Nivat, editors, Algebraic Methodology and Software Technology, 4th International Conference, AMAST 95, Montreal, Canada, July 3-7, 1995, Proceedings. Volume 936 of Lecture Notes in Computer Science, pages 230-244, Springer, 1995.

Abstract

Abstract is missing.