etiamz

3 ms·

1. 1.▲
   by etiamz 9d ago

   > Again, as a "proof of research" take a look at : https://github.com/VictorTaelin/Interaction-Type-Theory that's 3 year old, pre-dates Fable, but OMG doesn't look like a paper. Yes, it doesn&#x2
2. 2.▲
   by etiamz 9d ago

   Then you might be interested in Marc Thatcher's recent PhD thesis dedicated to interaction nets [1]. A great exposition of interaction nets through multiplicative linear logic's proof nets, and several novel contributions like pro
3. 3.▲
   by etiamz 10mo ago

   Note that, in the interaction net literature, it is pretty common to introduce graphical notation without corresponding textual counterparts. See the works of Lafont, Lamping, Asperti, Guerrini, and many others [1]. (However, the textual ca
4. 4.▲
   by etiamz 1y ago

   Related: https://github.com/AndrasKovacs/elaboration-zoo