http://xmlns.com/foaf/0.1/topic_interest | ML-like language |
http://www.w3.org/1999/02/22-rdf-syntax-ns#type | http://xmlns.com/foaf/0.1/Person |
http://xmlns.com/foaf/0.1/mbox_sha1sum | 250c1232de6bc8080fe9eeace09867f8 |
http://xmlns.com/foaf/0.1/name | Rodolphe Lepigre |
http://xmlns.com/foaf/0.1/firstName | Rodolphe |
http://xmlns.com/foaf/0.1/interest | https://data.archives-ouvertes.fr/subject/info.info-pl |
http://xmlns.com/foaf/0.1/topic_interest | Curry-style quantification |
http://xmlns.com/foaf/0.1/familyName | Lepigre |
http://xmlns.com/foaf/0.1/topic_interest | Termination check-ing |
http://xmlns.com/foaf/0.1/interest | https://data.archives-ouvertes.fr/subject/math |
http://xmlns.com/foaf/0.1/interest | https://data.archives-ouvertes.fr/subject/info.info-lo |
http://xmlns.com/foaf/0.1/topic_interest | Program verification |
http://xmlns.com/foaf/0.1/topic_interest | Classical logic |
http://xmlns.com/foaf/0.1/topic_interest | Implicit subtyping |