https://data.archives-ouvertes.fr/author/1325297

https://data.archives-ouvertes.fr/author/1325297

http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-pl
http://xmlns.com/foaf/0.1/firstName Peio
http://xmlns.com/foaf/0.1/topic_interest Operational semantics
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/topic_interest Type theory
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/pborthelle
http://xmlns.com/foaf/0.1/familyName Borthelle
http://xmlns.com/foaf/0.1/topic_interest Preuve formelle
http://xmlns.com/foaf/0.1/mbox_sha1sum 3419999e41ec210bd6596830a9adf8bf
http://xmlns.com/foaf/0.1/topic_interest Operational game semantics
http://xmlns.com/foaf/0.1/topic_interest Category theory
http://xmlns.com/foaf/0.1/topic_interest Formal proof
http://www.w3.org/2002/07/owl#sameAs 290614945
http://xmlns.com/foaf/0.1/name Peio Borthelle
http://xmlns.com/foaf/0.1/topic_interest Game semantics
http://xmlns.com/foaf/0.1/topic_interest Howe's method
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/math.math-ct
http://xmlns.com/foaf/0.1/topic_interest Semantique des jeux
http://xmlns.com/foaf/0.1/topic_interest Proof Assistant Coq
http://xmlns.com/foaf/0.1/topic_interest Theorie des types
http://xmlns.com/foaf/0.1/topic_interest Congruence
http://xmlns.com/foaf/0.1/topic_interest Bisimilarity
http://xmlns.com/foaf/0.1/topic_interest Semantique operationnelle
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://xmlns.com/foaf/0.1/Person

Télécharger au format