Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical reports : dr. R. Hoofman

select other reports

this selection

author dr. R. Hoofman

reports (7)

techrep_id file title / author
RUU-CS-91-04 pdf The linear decomposition of lambda 2-models
R. Hoofman
RUU-CS-90-41 pdf A note on semi-adjunctions
R. Hoofman
RUU-CS-90-34 pdf Linear logic, domain theory and semi-functors
R. Hoofman
RUU-CS-90-25 pdf Continuous information systems
R. Hoofman
RUU-CS-90-02 pdf From posets to coherence spaces
R. Hoofman
RUU-CS-90-01 pdf Properties of models which are complete for Hoare logic
R. Hoofman
RUU-CS-87-23 pdf Powerdomains
R. Hoofman

indexed (co) authors

author group
Hoofman, dr. R. all reports Algorithmic Systems all reports

BibTeX entries

@TECHREPORT{RUUCS9104,
author = {Hoofman, R.},
year = 1991,
title = {The linear decomposition of lambda 2-models},
number = {RUU-CS-91-04},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1991/1991-04.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9041,
author = {Hoofman, R.},
year = 1990,
title = {A note on semi-adjunctions},
number = {RUU-CS-90-41},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-41.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9034,
author = {Hoofman, R.},
year = 1990,
title = {Linear logic, domain theory and semi-functors},
number = {RUU-CS-90-34},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-34.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9025,
author = {Hoofman, R.},
year = 1990,
title = {Continuous information systems},
number = {RUU-CS-90-25},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-25.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9002,
author = {Hoofman, R.},
year = 1990,
title = {From posets to coherence spaces},
number = {RUU-CS-90-02},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-02.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9001,
author = {Hoofman, R.},
year = 1990,
title = {Properties of models which are complete for Hoare logic},
number = {RUU-CS-90-01},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-01.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8723,
author = {Hoofman, R.},
year = 1987,
title = {Powerdomains},
number = {RUU-CS-87-23},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1987/1987-23.pdf}},
pubcat = {techreport}
}