Laboratoire Méthodes Formelles (LMF)
… Dague 03/21/24 Journal of Theoretical Biology Cerise: Program verification on a capability machine in the presence … Systems Extensional proofs in a propositional logic modulo isomorphisms Gilles Dowek 10/25/23 Theoretical Computer … 69 : Engineering 7 : Physics and Astronomy 7 : Decision Sciences 7 : Arts and Humanities 5 : Biochemistry, Genetics …Published on: