home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

technical reports : dr. R. Hoofman

select other reports

• technical report index page
• below : list of indexed authors

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}
}