R. Hoofman

发表

Continuous Information Systems

R. Hoofman, 1993, Inf. Comput..

Properties of models which are complete for Hoare logic

R. Hoofman, 1990 .

A note on semi-adjunctions

R. Hoofman, 1990 .

Linear logic, domain theory and semi-functors

R. Hoofman, 1990 .