dataHAL.science
Support
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
https://aurehal.archives-ouvertes.fr/author/1325297
Télécharger au format
RDF/XML
Turtle
N3
Json