| Property |
Value |
| dbo:abstract
|
- Valeria Correa Vaz de Paiva est une mathématicienne, logicienne et informaticienne brésilienne. Ses travaux de recherche comprennent des approches logiques du calcul, en particulier en utilisant la théorie des catégories, la représentation des connaissances, la sémantique du langage naturel, et la programmation fonctionnelle avec un accent sur les fondements et la théorie des types. (fr)
- Valeria Correa Vaz de Paiva est une mathématicienne, logicienne et informaticienne brésilienne. Ses travaux de recherche comprennent des approches logiques du calcul, en particulier en utilisant la théorie des catégories, la représentation des connaissances, la sémantique du langage naturel, et la programmation fonctionnelle avec un accent sur les fondements et la théorie des types. (fr)
|
| dbo:almaMater
| |
| dbo:birthPlace
| |
| dbo:citizenship
| |
| dbo:discipline
| |
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:employer
| |
| dbo:occupation
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 4093 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 2016 (xsd:integer)
- 2020 (xsd:integer)
|
| prop-fr:date
| |
| prop-fr:doi
|
- 10.101600 (xsd:double)
- 10.109300 (xsd:double)
|
| prop-fr:journal
| |
| prop-fr:nom
|
- Ritter (fr)
- Eades III (fr)
- de Paiva (fr)
- Ritter (fr)
- Eades III (fr)
- de Paiva (fr)
|
| prop-fr:numéro
| |
| prop-fr:pages
|
- 143 (xsd:integer)
- 157 (xsd:integer)
|
| prop-fr:passage
| |
| prop-fr:prénom
|
- Valeria (fr)
- Harley (fr)
- Eike (fr)
- Valeria (fr)
- Harley (fr)
- Eike (fr)
|
| prop-fr:présentationEnLigne
| |
| prop-fr:titre
|
- Fibrational Modal Type Theory (fr)
- The Dialectica categories (fr)
- Multiple conclusion linear logic: cut elimination and more (fr)
- Fibrational Modal Type Theory (fr)
- The Dialectica categories (fr)
- Multiple conclusion linear logic: cut elimination and more (fr)
|
| prop-fr:volume
|
- 30 (xsd:integer)
- 92 (xsd:integer)
- 323 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:zbl
| |
| prop-fr:éditeur
|
- Contemporary Mathematics (fr)
- Contemporary Mathematics (fr)
|
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Valeria Correa Vaz de Paiva est une mathématicienne, logicienne et informaticienne brésilienne. Ses travaux de recherche comprennent des approches logiques du calcul, en particulier en utilisant la théorie des catégories, la représentation des connaissances, la sémantique du langage naturel, et la programmation fonctionnelle avec un accent sur les fondements et la théorie des types. (fr)
- Valeria Correa Vaz de Paiva est une mathématicienne, logicienne et informaticienne brésilienne. Ses travaux de recherche comprennent des approches logiques du calcul, en particulier en utilisant la théorie des catégories, la représentation des connaissances, la sémantique du langage naturel, et la programmation fonctionnelle avec un accent sur les fondements et la théorie des types. (fr)
|
| rdfs:label
|
- Valeria de Paiva (fr)
- Valeria de Paiva (ca)
- Valeria de Paiva (en)
- Valeria de Paiva (es)
- Valeria de Paiva (vi)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:doctoralStudent
of | |
| is dbo:editor
of | |
| is dbo:influenced
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
