- From: Adam Sobieski <adamsobieski@hotmail.com>
- Date: Wed, 10 Jul 2013 15:34:38 +0000
- To: public-argumentation@w3.org
A use case category for models of argumentation, formats and ontology, is that of general-purpose computation. Pertinent topics include serializing and deserializing data structures to and from argumentation formats and the utility of such data structures for general-purpose computing. Accordingly, the expressiveness of claims should include that of lambda calculus and of abstract syntax trees. function(..., IArgument** argument) Topical is the Curry-Howard correspondence as well as mappings from [...] ---------- This post sent on Argumentation Community Group 'Argumentation Scenarios and Use Cases: Computation' http://www.w3.org/community/argumentation/2013/07/10/argumentation-scenarios-and-use-cases-computation/ Learn more about the Argumentation Community Group: http://www.w3.org/community/argumentation
Received on Wednesday, 10 July 2013 15:34:43 UTC