| |
| 1996 | ||
|---|---|---|
| 3 | EE | R. Hoofman: Comparing Models of the Intensional Typed Lambda-Calculus. Theor. Comput. Sci. 166(1&2): 83-99 (1996) |
| 1993 | ||
| 2 | R. Hoofman: Continuous Information Systems Inf. Comput. 105(1): 42-71 (1993) | |
| 1991 | ||
| 1 | R. Hoofman: Weakly Expressive Models for Hoare Logic. Theor. Comput. Sci. 82(2): 409-418 (1991) | |