A Judgmental Reconstruction of Modal Logic
(2001) : Pfenning, Frank Davies, Rowan
DOI: https://doi.org/10.1017/s0960129501003322
#proposition #judgement #lax_logic #modal_logic #__important #my_bibtex

A Concurrent Logical Framework
(2004) : Watkins, Kevin et al
DOI: https://doi.org/10.1007/978-3-540-24849-1_23
#lax_logic #computation #petri_net #concurrency #monads #type_theory #my_bibtex