Raymond Hoofman Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1995
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaymond Hoofman, Ieke Moerdijk: A Remark on the Theory of Semi-Functors. Mathematical Structures in Computer Science 5(1): 1-8 (1995)
1994
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaymond Hoofman: Comparing Models of the Non-Extensional Typed Lambda-Calculus. LFCS 1994: 164-172
1993
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaymond Hoofman: The Theory of Semi-Functors. Mathematical Structures in Computer Science 3(1): 93-128 (1993)
1992
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaymond Hoofman: Non-Stable Models of Linear Logic. LFCS 1992: 209-220
1991
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaymond Hoofman, Harold Schellinx: Collapsing Graph Models by Preorders. Category Theory and Computer Science 1991: 53-73

Coauthor Index

1Ieke Moerdijk [5]
2Harold Schellinx [1]

Colors in the list of coauthors

Copyright © Tue Dec 1 12:01:14 2009 by Michael Ley (ley@uni-trier.de)