Not registered as user yet

Name:Ronald P. A. Petrick
Affiliation:Heriot-Watt University

Contributions

TyDe 2021 Author of Actions You Can Handle: Dependent Types for AI Plans within the TyDe 2021-track