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