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
141 followers
141 followers
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
1,308 followers
RT @dregntael: "Inductive Families Need Not Store Their Indices" by Edwin Brady, Conor McBride, and James McKinna at TYPES 2003: https:…
1,769 followers
RT @dregntael: "Inductive Families Need Not Store Their Indices" by Edwin Brady, Conor McBride, and James McKinna at TYPES 2003: https:…