From ANR DynRes

Main: Software

  1. The formal strong completeness of partial monoidal Boolean BI in Coq, Dominique Larchey-Wendling, 2012
  2. The formal strong completeness of (intuitionistic) BI in Coq, Dominique Larchey-Wendling, 2012.
Retrieved from http://anr-dynres.loria.fr/pmwiki.php?n=Main.Software
Page last modified on January 15, 2013, at 04:10 PM EST