Login / Signup
Husain Ibraheem
Publication Activity (10 Years)
Years Active: 1997-1997
Publications (10 Years): 0
</>
Publications
</>
Husain Ibraheem
,
David A. Schmidt
Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations and "Higher-Order" Derivations.
Electron. Notes Theor. Comput. Sci.
10 (1997)