Semantique operationnelle
Bisimilarity
Semantique des jeux
Operational game semantics
Proof Assistant Coq
Type theory
Theorie des types
Category theory
Howe's method
Game semantics
Operational semantics
Congruence
Formal proof
Preuve formelle