Open docloop[bot] opened 5 years ago
Annotation imported from PaperHive.
Stefan Müller wrote:
> The glue term does not impose an ordering (see above). Rather for us is the fact the constraints, including the glue terms can only be resolved in a way that essentially derives the effects of ordering as a side effect (so our approach is arguably more general) in order to derive a valid glue proof. Yes, but this is what I say. Don't I? Because of the resource sensitivity the semantics has to be combined in a certain order. This is similar to the LR: if you apply a rule to a two-place predicate and the result is a three-place predicate, rules looking for two-place predicates cannot apply any longer.
Link to original comment. About docloop.
Annotation imported from PaperHive.
Regarding this part:
Ash Asudeh wrote:
Link to original comment. About docloop.