A framework for relating, implementing and verifying argumentation models and their translations
A framework for relating, implementing and verifying argumentation models and their translations
Bas van Gijzel
2016 · DBLP: phd/ethos/vanGijzel16
0 Citations
TLDR
A general framework for relating, implementing and formally verifying argumentation models and translations between them, drawing from dependent type theory and the Curry-Howard correspondence is constructed.