Raymond Hoofman

According to our database, Raymond Hoofman authored at least 8 papers between 1991 and 1996.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

1996

Comparing Models of the Intensional Typed Lambda-Calculus.

Raymond Hoofman

Theor. Comput. Sci., 1996

1995

A Remark on the Theory of Semi-Functors.

Raymond Hoofman, Ieke Moerdijk

Math. Struct. Comput. Sci., 1995

1994

Comparing Models of the Non-Extensional Typed Lambda-Calculus.

Raymond Hoofman

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

1993

Continuous Information Systems

Raymond Hoofman

Inf. Comput., July, 1993

The Theory of Semi-Functors.

Raymond Hoofman

Math. Struct. Comput. Sci., 1993

1992

Non-Stable Models of Linear Logic.

Raymond Hoofman

Proceedings of the Logical Foundations of Computer Science, 1992

1991

Weakly Expressive Models for Hoare Logic.

Raymond Hoofman

Theor. Comput. Sci., 1991

Collapsing Graph Models by Preorders.

Raymond Hoofman, Harold Schellinx

Proceedings of the Category Theory and Computer Science, 1991