<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Fichier:Machine_de_Krivine.jpg> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageRevisionID>	"188656007"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://fr.dbpedia.org/property/\u00E9diteur>	"Cambridge University Press"@fr .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/S\u00E9mantique_des_langages_de_programmation> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Informatique_th\u00E9orique> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://purl.org/dc/terms/subject>	<http://fr.dbpedia.org/resource/Cat\u00E9gorie:Machine_virtuelle> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://www.w3.org/2002/07/owl#sameAs>	<http://commons.dbpedia.org/resource/Category:Krivine_machine> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Alan_Turing> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Cat\u00E9gorie:Programmation_fonctionnelle> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://xmlns.com/foaf/0.1/depiction>	<http://commons.wikimedia.org/wiki/Special:FilePath/Machine_de_Krivine.jpg> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://www.w3.org/2000/01/rdf-schema#comment>	"En informatique th\u00E9orique, la machine de Krivine est une machine abstraite (on peut aussi dire une machine virtuelle) au m\u00EAme titre que les machines de Turing ou que la machine SECD avec laquelle elle partage un certain nombre de sp\u00E9cificit\u00E9s. Elle explique comment calculer une fonction r\u00E9cursive. Plus pr\u00E9cis\u00E9ment,elle sert \u00E0 d\u00E9finir rigoureusement la r\u00E9duction en forme normale de t\u00EAte d'un terme du lambda-calcul en utilisant la r\u00E9duction par appel par nom. \u00C0 ce titre, elle explique en d\u00E9tail comment se passe une certaine forme de r\u00E9duction et sert de support th\u00E9orique \u00E0 la s\u00E9mantique op\u00E9rationnelle des langages de programmation fonctionnelle. D'autre part, elle impl\u00E9mente l'appel par nom, parce qu'elle \u00E9value le corps d'un \u03B2-redex avant d'en \u00E9valuer le param\u00E8tre, autrement dit dans une ex"@fr .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://fr.dbpedia.org/property/wikiPageUsesTemplate>	<http://fr.dbpedia.org/resource/Mod\u00E8le:Loupe> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://purl.org/dc/terms/subject>	<http://fr.dbpedia.org/resource/Cat\u00E9gorie:Th\u00E9orie_des_automates> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Cat\u00E9gorie:Machine_virtuelle> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Cat\u00E9gorie:Mod\u00E8les_de_calcul> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Substitution_explicite> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageID>	"9579033"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://www.w3.org/2000/01/rdf-schema#label>	"Krivine machine"@en .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Olivier_Danvy> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Cat\u00E9gorie:Calculabilit\u00E9> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://purl.org/dc/terms/subject>	<http://fr.dbpedia.org/resource/Cat\u00E9gorie:Mod\u00E8les_de_calcul> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/thumbnail>	<http://commons.wikimedia.org/wiki/Special:FilePath/Machine_de_Krivine.jpg?width=300> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://xmlns.com/foaf/0.1/isPrimaryTopicOf>	<http://fr.wikipedia.org/wiki/Machine_de_Krivine> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Krivine_machine> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://fr.dbpedia.org/property/volume>	"45"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://fr.dbpedia.org/property/wikiPageUsesTemplate>	<http://fr.dbpedia.org/resource/Mod\u00E8le:Portail> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://fr.dbpedia.org/property/wikiPageUsesTemplate>	<http://fr.dbpedia.org/resource/Mod\u00E8le:Ouvrage> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://fr.dbpedia.org/property/titre>	"Domains and Lambda-calculi"@fr .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://www.w3.org/2000/01/rdf-schema#label>	"Machine de Krivine"@fr .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Machine_SECD> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageLength>	"15088"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Machine_abstraite> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://fr.dbpedia.org/property/wikiPageUsesTemplate>	<http://fr.dbpedia.org/resource/Mod\u00E8le:N\u00B0> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://fr.dbpedia.org/property/wikiPageUsesTemplate>	<http://fr.dbpedia.org/resource/Mod\u00E8le:R\u00E9f\u00E9rences> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Jean-Louis_Krivine> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://www.w3.org/2002/07/owl#sameAs>	<http://www.wikidata.org/entity/Q25380873> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://fr.dbpedia.org/property/wikiPageUsesTemplate>	<http://fr.dbpedia.org/resource/Mod\u00E8le:Palette> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://purl.org/dc/terms/subject>	<http://fr.dbpedia.org/resource/Cat\u00E9gorie:Programmation_fonctionnelle> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/S\u00E9mantique_op\u00E9rationnelle> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Programmation_fonctionnelle> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Cat\u00E9gorie:Logique_math\u00E9matique> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://www.w3.org/2002/07/owl#sameAs>	<http://g.co/kg/g/11bwycb9tt> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://fr.wikipedia.org/wiki/Machine_de_Krivine?oldid=188656007&ns=0> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://fr.dbpedia.org/property/auteur>	"Roberto Amadio"@fr .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Fermeture_(informatique)> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://fr.dbpedia.org/property/auteur>	"Pierre-Louis Curien"@fr .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://purl.org/dc/terms/subject>	<http://fr.dbpedia.org/resource/Cat\u00E9gorie:Calculabilit\u00E9> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/\u00C9valuation_paresseuse> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Machine_virtuelle> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/R\u00E9\u00E9criture_(informatique)> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Machine_de_Turing_non_d\u00E9terministe> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Machine_de_Turing> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://fr.dbpedia.org/property/ann\u00E9e>	"1998"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/abstract>	"En informatique th\u00E9orique, la machine de Krivine est une machine abstraite (on peut aussi dire une machine virtuelle) au m\u00EAme titre que les machines de Turing ou que la machine SECD avec laquelle elle partage un certain nombre de sp\u00E9cificit\u00E9s. Elle explique comment calculer une fonction r\u00E9cursive. Plus pr\u00E9cis\u00E9ment,elle sert \u00E0 d\u00E9finir rigoureusement la r\u00E9duction en forme normale de t\u00EAte d'un terme du lambda-calcul en utilisant la r\u00E9duction par appel par nom. \u00C0 ce titre, elle explique en d\u00E9tail comment se passe une certaine forme de r\u00E9duction et sert de support th\u00E9orique \u00E0 la s\u00E9mantique op\u00E9rationnelle des langages de programmation fonctionnelle. D'autre part, elle impl\u00E9mente l'appel par nom, parce qu'elle \u00E9value le corps d'un \u03B2-redex avant d'en \u00E9valuer le param\u00E8tre, autrement dit dans une expression (\u03BB x. t) u elle \u00E9value d'abord \u03BB x. t avant d'\u00E9valuer u. En programmation fonctionnelle cela voudrait dire que pour \u00E9valuer une fonction appliqu\u00E9e \u00E0 un param\u00E8tre, on \u00E9value d'abord la partie fonction avant d'\u00E9valuer le param\u00E8tre. La machine de Krivine a \u00E9t\u00E9 invent\u00E9e par le logicien fran\u00E7ais Jean-Louis Krivine au d\u00E9but des ann\u00E9es 1980."@fr .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Strat\u00E9gie_d\u0027\u00E9valuation_(informatique)> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Cat\u00E9gorie:Th\u00E9orie_des_automates> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageExternalLink>	<https://hal.inria.fr/inria-00198756> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageExternalLink>	<http://www.pps.univ-paris-diderot.fr/~krivine/articles/lazymach.pdf> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://purl.org/dc/terms/subject>	<http://fr.dbpedia.org/resource/Cat\u00E9gorie:Logique_math\u00E9matique> .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://fr.dbpedia.org/property/collection>	"Cambridge Tracts in theoretical computer science"@fr .
<http://fr.dbpedia.org/resource/Machine_de_Krivine>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Lambda-calcul> .