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


Vol-2403/paper4⫷Vol-2403/paper5⫸Vol-2403/paper6

Simple-typed Functional Language Modeled by Category Theory