"3419999e41ec210bd6596830a9adf8bf" . "Semantique operationnelle"@fr . "Bisimilarity"@en . "Semantique des jeux"@fr . "Operational game semantics"@en . . "Proof Assistant Coq"@en . "Peio Borthelle" . . "Type theory"@en . "Theorie des types"@fr . "Category theory"@en . "Howe's method"@en . . "Game semantics"@en . "Peio" . "Operational semantics"@en . <290614945> . "Congruence"@en . . . "Formal proof"@en . "Preuve formelle"@fr . "Borthelle" .