Category Theory and Computer Programming : proceedings - Category Theory and Computer Programming. Tutorial and workshop (1985 : Guildford, UK); Poigné, Axel; Pitt, David; Abramsky, Samson (Berlin ; Heidelberg ; New York : Springer, 1986)
Lit.
Keywords: kategoriální data; programování; sborníky; categorial data; programming