141 followers
A Concurrent Logical Framework (2004) : Watkins, Kevin et al DOI: https://t.co/AUeaJZqj6K #lax_logic #computation #petri_net #concurrency #monads #type_theory #my_bibtex
A Concurrent Logical Framework (2004) : Watkins, Kevin et al DOI: https://t.co/AUeaJZqj6K #lax_logic #computation #petri_net #concurrency #monads #type_theory #my_bibtex
A Concurrent Logical Framework: The Propositional Fragment (2004) : Kevin Watkins and Iliano Cervesato and Frank Pfenning and David Walker DOI: https://t.co/AUeaJZpLhc #computation #concurrency #lax_logic #monads #petri_net #type #my_bibtex