conf.researchr.org / Anton Setzer
Registered user since Sat 20 Aug 2016
Name:Anton Setzer
Contributions
| TyDe 2016 | Author of Programming with Monadic CSP-Style Processes in Dependent Type Theory within the TyDe-track |
Registered user since Sat 20 Aug 2016
Contributions
| TyDe 2016 | Author of Programming with Monadic CSP-Style Processes in Dependent Type Theory within the TyDe-track |