Peio Borthelle
topic interest: Semantique operationnelle @fr
topic interest: Bisimilarity
topic interest: Semantique des jeux @fr
topic interest: Operational game semantics
interest: info.info-lo
topic interest: Proof Assistant Coq
type: Person
topic interest: Type theory
topic interest: Theorie des types @fr
topic interest: Category theory
topic interest: Howe's method
interest: math.math-ct
topic interest: Game semantics
first name: Peio
topic interest: Operational semantics
topic interest: Congruence
is aggregated by: pborthelle
interest: info.info-pl
topic interest: Formal proof
topic interest: Preuve formelle @fr
family name: Borthelle