141 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