Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Λ-Calcul"'
Publikováno v:
[Research Report] RR-9475, Inria. 2022, pp.1-33
CONCUR 2022-33rd International Conference on Concurrency Theory
CONCUR 2022-33rd International Conference on Concurrency Theory, Sep 2022, Varsovie, Poland. pp.1-24, ⟨10.4230/LIPIcs.CONCUR.2022.7⟩
CONCUR 2022-33rd International Conference on Concurrency Theory
CONCUR 2022-33rd International Conference on Concurrency Theory, Sep 2022, Varsovie, Poland. pp.1-24, ⟨10.4230/LIPIcs.CONCUR.2022.7⟩
We present a generic design of abstract machines for nondeterministic programming languages, such as process calculi or concurrent lambda calculi, that provides a simple way to implement them. Such a machine traverses a term in the search for a redex
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7af8b5deecd8cde1d1dbe9279542cc40
https://inria.hal.science/hal-03545768v2/document
https://inria.hal.science/hal-03545768v2/document
Publikováno v:
[Research Report] RR-9251, Inria Nancy-Grand Est. 2019
FoSSaCS
FoSSaCS, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17127-8_6⟩
Lecture Notes in Computer Science ISBN: 9783030171261
FoSSaCS
FoSSaCS, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17127-8_6⟩
Lecture Notes in Computer Science ISBN: 9783030171261
We present a sound and complete bisimilarity for an untyped \(\lambda \)-calculus with higher-order local references. Our relation compares values by applying them to a fresh variable, like normal-form bisimilarity, and it uses environments to accoun
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7a6a5e55b1efacab0be42874606019ea
https://hal.inria.fr/hal-02002115/document
https://hal.inria.fr/hal-02002115/document
Autor:
Lepigre, Rodolphe
Au cours des dernières années, les assistants de preuves on fait des progrès considérables et ont atteint un grand niveau de maturité. Ils ont permit la certification de programmes complexes tels que des compilateurs et même des systèmes d'exp
Externí odkaz:
http://www.theses.fr/2017GREAM034/document
Autor:
Ruoppolo, Domenico
La thèse contribue à l’étude du λ-calcul non-typé de Church, un système de réécriture dont la règle principale est la β-réduction (formalisant l’exécution d’un programme). Nous nous concentrons sur la sémantique dénotationnelle, l
Externí odkaz:
http://www.theses.fr/2016USPCD069/document
Autor:
Lefeuvre, Anais
Cette thèse s’inscrit dans le cadre du projet Région Aquitaine - INRIA : ITIPY. Ce projet vise à terme l’extraction automatique d’itinéraires à partir de récits de voyage du XIX ème et du début du XX ème siècle. Notre premier travail
Externí odkaz:
http://www.theses.fr/2014BORD0065/document
Autor:
Qian, Sai
Publikováno v:
Computation and Language [cs.CL]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0138⟩
Anaphora is a ubiquitous linguistic phenomenon whereby the interpretation of one ex- pression, called the anaphor, depends on that of another, called the antecedent. This thesis studies the semantics of one particular sort of anaphora: pronominal ana
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6e10b35851780c2cee752730576ae4d3
https://inria.hal.science/tel-01750993
https://inria.hal.science/tel-01750993
Autor:
Bertini, Yves
La facilité compte parmi les notions les plus fines de l'indéfini en λ-calcul. Un terme est dit facile s'il peut être identifié à tout autre terme clos arbitraire sans soulever de contradiction. Introduite en 1975 par Jacopini, elle fait depuis
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00370440
http://tel.archives-ouvertes.fr/docs/00/37/04/40/PDF/these_full.pdf
http://tel.archives-ouvertes.fr/docs/00/37/04/40/PDF/these_full.pdf
Autor:
Amblard, Maxime
Publikováno v:
RECITAL
RECITAL, Jun 2005, Dourdan, France. pp.6-10
RECITAL, Jun 2005, Dourdan, France. pp.6-10
International audience; Résumé -Abstract Ces travaux se basent sur l'approche computationelle et logique de Ed Stabler (?), qui donne une formalisation sous forme de grammaire du programme minimaliste de Noam Chomsky (?). La question que je veux ab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::67dc26ab4292d2b0945fd04791f0d9be
https://hal.archives-ouvertes.fr/hal-01079273/document
https://hal.archives-ouvertes.fr/hal-01079273/document
Autor:
Kervarc, Romain, Lescanne, Pierre
Publikováno v:
[Research Report] LIP RR-2004-08, Laboratoire de l'informatique du parallélisme. 2004, 2+45p
Pure type systems are a general formalism allowing to represent many type systems -- in particular, Barendregt's lambda-cube, including Girard's system F, dependent types, and the calculus of constructions. We built a variant of pure type systems by
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1d56005e082f82ec2ba603160199dcbd
https://hal-lara.archives-ouvertes.fr/hal-02101921
https://hal-lara.archives-ouvertes.fr/hal-02101921
Autor:
Hirschkoff, Daniel
Publikováno v:
[Research Report] LIP RR-2003-13, Laboratoire de l'informatique du parallélisme. 2003, 2+15p
This document collects some important results about the theory of Milner's pi-calculus and related formalisms. We present the syntax and semantics of a monadic calculus, and discuss type systems and the most commonly used notions of behavioural equiv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ac999c312620bab1186f918e5a0a28e2
https://hal-lara.archives-ouvertes.fr/hal-02101985
https://hal-lara.archives-ouvertes.fr/hal-02101985