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

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

http://xmlns.com/foaf/0.1/mbox_sha1sum 90fb26c9796f063017eb2212a699029f
http://xmlns.com/foaf/0.1/topic_interest Side effects
http://xmlns.com/foaf/0.1/topic_interest Dependent types
http://xmlns.com/foaf/0.1/topic_interest Classical realizability
http://xmlns.com/foaf/0.1/topic_interest 2012 ACM Subject Classification Theory of computation → Logic
http://xmlns.com/foaf/0.1/topic_interest Type structures
http://xmlns.com/foaf/0.1/name Étienne Miquey
http://xmlns.com/foaf/0.1/topic_interest Call-by-name
http://xmlns.com/foaf/0.1/topic_interest Ultrafilters
http://xmlns.com/foaf/0.1/topic_interest Types dépendants
http://xmlns.com/foaf/0.1/topic_interest Environment-passing style
http://xmlns.com/foaf/0.1/topic_interest Nonstandard analysis
http://xmlns.com/foaf/0.1/topic_interest Lambda-calculus
http://xmlns.com/foaf/0.1/topic_interest Stateful computations
http://xmlns.com/foaf/0.1/topic_interest Algèbres implicatives
http://xmlns.com/foaf/0.1/topic_interest Calue restriction
http://xmlns.com/foaf/0.1/topic_interest Abstract machines
http://xmlns.com/foaf/0.1/topic_interest Continuation-passing style
http://xmlns.com/foaf/0.1/topic_interest Call-by-value
http://xmlns.com/foaf/0.1/topic_interest Implicative algebras
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/topic_interest Value restriction
http://xmlns.com/foaf/0.1/topic_interest Glueing
http://xmlns.com/foaf/0.1/topic_interest Nonstandard arithmetic
http://xmlns.com/foaf/0.1/topic_interest Λ-calculus
http://xmlns.com/foaf/0.1/topic_interest Computational content of classical proof
http://xmlns.com/foaf/0.1/topic_interest Évaluation paresseuse
http://xmlns.com/foaf/0.1/topic_interest Classical logic
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 Łoś ' theorem
http://xmlns.com/foaf/0.1/topic_interest Games
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/emiquey
http://xmlns.com/foaf/0.1/topic_interest Classical arithmetic
http://xmlns.com/foaf/0.1/topic_interest Sequent calculus
http://xmlns.com/foaf/0.1/topic_interest Realizability
http://xmlns.com/foaf/0.1/topic_interest Effets de bord
http://xmlns.com/foaf/0.1/topic_interest Kripke forcing
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-pl
http://xmlns.com/foaf/0.1/topic_interest Continuation-passing style translation
http://xmlns.com/foaf/0.1/topic_interest Realizabiliy
http://xmlns.com/foaf/0.1/topic_interest Proof theory
http://xmlns.com/foaf/0.1/topic_interest Contenu calculatoire de preuve classique
http://xmlns.com/foaf/0.1/topic_interest Curry-Howard
http://xmlns.com/foaf/0.1/firstName Étienne
http://xmlns.com/foaf/0.1/topic_interest States
http://www.w3.org/2002/07/owl#sameAs 0000-0002-5987-6547
http://xmlns.com/foaf/0.1/topic_interest Process Algebras
http://xmlns.com/foaf/0.1/familyName Miquey
http://xmlns.com/foaf/0.1/topic_interest Lazy evaluation
http://xmlns.com/foaf/0.1/topic_interest Control operators
http://xmlns.com/foaf/0.1/topic_interest Duality
http://xmlns.com/foaf/0.1/topic_interest Arithmetical formulæ
http://xmlns.com/foaf/0.1/topic_interest Specification
http://xmlns.com/foaf/0.1/topic_interest Delimited continuations
http://xmlns.com/foaf/0.1/topic_interest Type theory
http://xmlns.com/foaf/0.1/topic_interest Forcing
http://xmlns.com/foaf/0.1/topic_interest Proof-as-programs
http://xmlns.com/foaf/0.1/topic_interest Linear Logic
http://xmlns.com/foaf/0.1/topic_interest Theory of computation → Type theory Keywords and phrases realizability
http://xmlns.com/foaf/0.1/topic_interest CPS translations
http://xmlns.com/foaf/0.1/topic_interest Control primitives
http://xmlns.com/foaf/0.1/topic_interest CPS trans- lations
http://xmlns.com/foaf/0.1/topic_interest Réalisabilité classique
http://xmlns.com/foaf/0.1/topic_interest Model theory
http://xmlns.com/foaf/0.1/topic_interest Dependent choice
http://xmlns.com/foaf/0.1/topic_interest Global environment
http://xmlns.com/foaf/0.1/topic_interest Concurrent Programming
http://xmlns.com/foaf/0.1/topic_interest Proofs-as-programs
http://xmlns.com/foaf/0.1/topic_interest Lattices
http://xmlns.com/foaf/0.1/topic_interest Operational semantics
http://xmlns.com/foaf/0.1/topic_interest Call by-need
http://xmlns.com/foaf/0.1/topic_interest Normalization
http://xmlns.com/foaf/0.1/topic_interest Tripos
http://xmlns.com/foaf/0.1/topic_interest De Bruijn indices
http://xmlns.com/foaf/0.1/topic_interest Theory of computation → Proof theory
http://xmlns.com/foaf/0.1/topic_interest Type system
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/math
https://aurehal.archives-ouvertes.fr/author/6597

Télécharger au format  
RDF/XML Turtle N3 Json