Vol-4070⫷ Vol-4071 ⫸Vol-4072
urn:nbn:de:0074-4071-0


Vol-4071/paper20⫷Vol-4071/paper21⫸Vol-4071/short1
Jonathan WaltherKai SauerwaldJesse Heyninck

The KLM Representation Theorem for System C, Formally