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

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

http://xmlns.com/foaf/0.1/topic_interest ML-style programming language
http://xmlns.com/foaf/0.1/topic_interest Constructor
http://xmlns.com/foaf/0.1/topic_interest Strictly increasing boolean function
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/math.math-gm
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/math.math-lo
http://xmlns.com/foaf/0.1/topic_interest Coherent Space
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/name Pierre Hyvernat
http://xmlns.com/foaf/0.1/topic_interest Finiteness spaces
http://xmlns.com/foaf/0.1/topic_interest Polynomial functors
http://xmlns.com/foaf/0.1/topic_interest Types
http://xmlns.com/foaf/0.1/topic_interest Linear logic
http://xmlns.com/foaf/0.1/topic_interest Program analysis
http://xmlns.com/foaf/0.1/topic_interest Algebraic lambda-calculus
http://xmlns.com/foaf/0.1/topic_interest Nested fixed points
http://xmlns.com/foaf/0.1/topic_interest Dependent type theory
http://xmlns.com/foaf/0.1/topic_interest Termination
http://xmlns.com/foaf/0.1/topic_interest Agda
http://xmlns.com/foaf/0.1/topic_interest Boolean calculus
http://xmlns.com/foaf/0.1/topic_interest Programming language
http://xmlns.com/foaf/0.1/topic_interest Size-change principle
http://xmlns.com/foaf/0.1/topic_interest Contractive boolean operator
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-oh
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://xmlns.com/foaf/0.1/Person
http://xmlns.com/foaf/0.1/topic_interest Multiset
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-pl
http://xmlns.com/foaf/0.1/topic_interest Simulations
http://xmlns.com/foaf/0.1/topic_interest Differential lambda calculus
http://xmlns.com/foaf/0.1/topic_interest Ramsey theorem
http://xmlns.com/foaf/0.1/topic_interest Circular proofs
http://xmlns.com/foaf/0.1/topic_interest Coherence spaces
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/pierre-hyvernat
http://xmlns.com/foaf/0.1/topic_interest Linear-logic
http://xmlns.com/foaf/0.1/topic_interest Destructor
http://xmlns.com/foaf/0.1/topic_interest Denotational Semantics
http://xmlns.com/foaf/0.1/topic_interest Simulation
http://xmlns.com/foaf/0.1/topic_interest Additive linear logic
http://xmlns.com/foaf/0.1/topic_interest Totality
http://xmlns.com/foaf/0.1/topic_interest Interaction systems
http://xmlns.com/foaf/0.1/topic_interest Théorie de la démonstration
http://xmlns.com/foaf/0.1/topic_interest Continuous functions
http://xmlns.com/foaf/0.1/topic_interest Denotational semantics
http://xmlns.com/foaf/0.1/topic_interest Théorie des types dépendants
http://xmlns.com/foaf/0.1/topic_interest Indexed containers
http://xmlns.com/foaf/0.1/topic_interest Logique linéaire
http://xmlns.com/foaf/0.1/topic_interest Constructive type theory
http://xmlns.com/foaf/0.1/topic_interest Coinductive types
http://xmlns.com/foaf/0.1/mbox_sha1sum 9a6387df7e6e7d50d312a0e4400bf38b
http://xmlns.com/foaf/0.1/topic_interest Predicate Transformers
http://xmlns.com/foaf/0.1/topic_interest Transformateurs de prédicats
http://xmlns.com/foaf/0.1/topic_interest Games
http://xmlns.com/foaf/0.1/topic_interest Day convolution
http://xmlns.com/foaf/0.1/familyName Hyvernat
http://xmlns.com/foaf/0.1/topic_interest Contractive boolean function
http://xmlns.com/foaf/0.1/topic_interest Termination analysis
http://xmlns.com/foaf/0.1/firstName Pierre
http://xmlns.com/foaf/0.1/topic_interest Inductive recursive definitions
http://xmlns.com/foaf/0.1/topic_interest ML
http://xmlns.com/foaf/0.1/topic_interest System of representatives
http://xmlns.com/foaf/0.1/topic_interest Constructive topology
http://xmlns.com/foaf/0.1/topic_interest Proof-theory
http://xmlns.com/foaf/0.1/topic_interest Functional programming
http://xmlns.com/foaf/0.1/topic_interest Second order
http://xmlns.com/foaf/0.1/topic_interest Formal topology
http://xmlns.com/foaf/0.1/topic_interest Size-change termination
http://xmlns.com/foaf/0.1/topic_interest Predicate transformers
http://xmlns.com/foaf/0.1/topic_interest Interaction
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/math.math-co
http://xmlns.com/foaf/0.1/topic_interest Order
http://xmlns.com/foaf/0.1/topic_interest Sémantique dénotationnelle
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/math.math-ct
http://xmlns.com/foaf/0.1/topic_interest Second-ordre
http://xmlns.com/foaf/0.1/topic_interest Formal methods
http://xmlns.com/foaf/0.1/topic_interest Finiteness Space
http://xmlns.com/foaf/0.1/topic_interest Lambda calculus
http://xmlns.com/foaf/0.1/topic_interest Topologie constructive

Télécharger au format