Myra Van Inwegen

Publication Activity (10 Years)

Years Active: 1992-1993
Publications (10 Years): 0

Publications

Myra Van Inwegen, Elsa L. Gunter
HOL-ML. HUG (1993)
Jawahar Chirimar, Carl A. Gunter, Myra Van Inwegen
Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker. CADE (1992)