Deriving programming laws categorically

N. Verwer

Research output: Book/Report › Report › Academic

Keywords

@book{f01662a4ad894bc8b3e752a2fa0f456a,

title = "Deriving programming laws categorically",

keywords = "Wiskunde en Informatica (WIIN), Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen",

author = "N. Verwer",

year = "1990",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "90-06",

publisher = "Unknown Publisher",

edition = "RUU-CS",

}