Search results

Denotation of open cfgs in presence of function calls

enhancementNew feature or requestNew feature or request

itreesParticular to theory and implementation of itreesParticular to theory and implementation of itrees

wipWork in ProgressWork in Progress

Status: Open (in progress).

DeepSpec/InteractionTreesnumber 166

#166 In DeepSpec/InteractionTrees;

· YaZko opened on Mar 30, 2020

Support for the Prop Monad

enhancementNew feature or requestNew feature or request

itreesParticular to theory and implementation of itreesParticular to theory and implementation of itrees

wipWork in ProgressWork in Progress

Status: Open (in progress).

DeepSpec/InteractionTreesnumber 165

#165 In DeepSpec/InteractionTrees;

· YaZko opened on Mar 25, 2020

Shortcomings of subevents

enhancementNew feature or requestNew feature or request

questionFurther information is requestedFurther information is requested

wipWork in ProgressWork in Progress

Status: Open.

#130 In DeepSpec/InteractionTrees;

· YaZko opened on May 6, 2019