153 followers
Session Types as Intuitionistic Linear Propositions (2010) : Lu{\'i}s Caires and Frank Pfenning DOI: https://t.co/ZTfE6Fukx9 #__important #behavioural_types #linear_logic #pi_calculus #protocol #session_types #my_bibtex
Session Types as Intuitionistic Linear Propositions (2010) : Lu{\'i}s Caires and Frank Pfenning DOI: https://t.co/ZTfE6Fukx9 #__important #behavioural_types #linear_logic #pi_calculus #protocol #session_types #my_bibtex
Completeness of Flat Coalgebraic Fixpoint Logics. (arXiv:1004.2717v2 [cs.LO] UPDATED) https://t.co/F1EYUfLqyh
#arXiv #cs_LO "Completeness of Flat Coalgebraic Fixpoint Logics. (arXiv:1004.2717v2 [cs.LO] UPDATED)" https://t.co/EOyBdyBnwy