conf.researchr.org / Alasdair Hill
Registered user since Wed 18 Aug 2021
Name:Alasdair Hill
Affiliation:Heriot-Watt University
Contributions
TyDe 2021 | Author of Actions You Can Handle: Dependent Types for AI Plans within the TyDe 2021-track |
Registered user since Wed 18 Aug 2021
Contributions
TyDe 2021 | Author of Actions You Can Handle: Dependent Types for AI Plans within the TyDe 2021-track |