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