About: Explicit substitution

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Explicit substitution Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Explicit substitution (en) Substitution explicite (fr)
rdfs:comment	Un calcul de substitutions explicites est une extension du lambda-calcul dans lequel la substitution est intégrée au calcul au même titre que le sont l'abstraction ou l'application, alors que dans le lambda-calcul, la substitution fait partie de la métathéorie, c'est-à-dire qu'elle est définie en dehors de la théorie du lambda-calcul. (fr)
sameAs	Explicit substitution Explicit substitution Explicit substitution Explicit substitution
Wikipage page ID	9639853 (xsd:integer)
Wikipage revision ID	185509114 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Théorie_de_la_démonstration dbpedia-fr:Automath category-fr:Calculabilité category-fr:Programmation_fonctionnelle category-fr:Théorie_des_types Lambda calculus dbpedia-fr:Logique_combinatoire dbpedia-fr:Luca_Cardelli Krivine machine dbpedia-fr:Métathéorie dbpedia-fr:Nicolaas_Govert_de_Bruijn dbpedia-fr:Partage_(programmation_informatique) dbpedia-fr:Pierre_Lescanne Garbage collection (computer science) dbpedia-fr:Rasoir_d'Ockham Rewriting dbpedia-fr:Stratégie_d'évaluation_(informatique) Lazy evaluation dbpedia-fr:Jean-Jacques_Lévy Martín Abadi dbpedia-fr:Pierre-Louis_Curien
Link from a Wikipage to an external page	https://hal.inria.fr/inria-00074197/document
page length (characters) of wiki page	14275 (xsd:nonNegativeInteger)
dct:subject	category-fr:Théorie_de_la_démonstration category-fr:Calculabilité category-fr:Programmation_fonctionnelle category-fr:Théorie_des_types
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Palette dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Traduction/Référence
prov:wasDerivedFrom	wikipedia-fr:Substitution_explicite?oldid=185509114&ns=0
foaf:depiction
prop-fr:année	1991 (xsd:integer)
prop-fr:auteur	Martín Abadi (fr) Pierre-Louis Curien (fr) Jean-Jacques Lévy (fr) Luca Cardelli (fr)
prop-fr:numéro	4 (xsd:integer)
prop-fr:pages	375 (xsd:integer)
prop-fr:périodique	J. Funct. Program (fr)
prop-fr:titre	Explicit Substitutions (fr)
prop-fr:volume	1 (xsd:integer)
thumbnail	wiki-commons:Special:FilePath/Substitution_Explicite.jpg?width=300
foaf:isPrimaryTopicOf	wikipedia-fr:Substitution_explicite
has abstract	Un calcul de substitutions explicites est une extension du lambda-calcul dans lequel la substitution est intégrée au calcul au même titre que le sont l'abstraction ou l'application, alors que dans le lambda-calcul, la substitution fait partie de la métathéorie, c'est-à-dire qu'elle est définie en dehors de la théorie du lambda-calcul. (fr)
is dbo:wikiPageWikiLink of	dbpedia-fr:Automath dbpedia-fr:Explicite Lambda calculus Krivine machine dbpedia-fr:Métavariable Rewriting dbpedia-fr:Stratégie_d'évaluation_(informatique) Substitution dbpedia-fr:Sémantique_opérationnelle Variable (mathematics)
is Wikipage disambiguates of	dbpedia-fr:Explicite Substitution
is oa:hasTarget of	En labels Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:Substitution_explicite

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 14 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software