
Search the dblp DataBase
Raymond Hoofman:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Raymond Hoofman, Harold Schellinx
Collapsing Graph Models by Preorders. [Citation Graph (0, 0)][DBLP] Category Theory and Computer Science, 1991, pp:5373 [Conf]
 Raymond Hoofman
NonStable Models of Linear Logic. [Citation Graph (0, 0)][DBLP] LFCS, 1992, pp:209220 [Conf]
 Raymond Hoofman
Comparing Models of the NonExtensional Typed LambdaCalculus. [Citation Graph (0, 0)][DBLP] LFCS, 1994, pp:164172 [Conf]
 Raymond Hoofman
The Theory of SemiFunctors. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1993, v:3, n:1, pp:93128 [Journal]
 Raymond Hoofman, Ieke Moerdijk
A Remark on the Theory of SemiFunctors. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1995, v:5, n:1, pp:18 [Journal]
Search in 0.001secs, Finished in 0.001secs
