Vol-2402⫷ Vol-2403 ⫸Vol-2404
urn:nbn:de:0074-2403-0


Vol-2403/paper4⫷Vol-2403/paper5⫸Vol-2403/paper6
Zuzana BilanováJán PerhácGabriela Havrilcáková

Simple-typed Functional Language Modeled by Category Theory