Login / Signup
C. Hemerik
Publication Activity (10 Years)
Years Active: 1980-1993
Publications (10 Years): 0
</>
Publications
</>
Erik Poll
,
C. Hemerik
,
Huub M. M. ten Eikelder
CPO-Models for Second Order Lambda Calculus with Recursive Types and Subtyping.
RAIRO Theor. Informatics Appl.
27 (3) (1993)
C. Hemerik
,
Joost-Pieter Katoen
Bottom-Up Tree Acceptors.
Sci. Comput. Program.
13 (1) (1989)
C. Hemerik
Formal Derivation of a List Processing Program.
Inf. Process. Lett.
10 (3) (1980)