[PDF] Top 20 On the definition of lambda-calculus models
Has 10000 "On the definition of lambda-calculus models" found on our website. Below are the top 20 most common "On the definition of lambda-calculus models".
On the definition of lambda-calculus models
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ... Voir le document complet
16
Incrementality and effect simulation in the simply typed lambda calculus
... in the calculus: Prop, Set and Type, which represent the proposi- tional or logical level of the language and the hierarchical universes of types, ...respectively. ... Voir le document complet
135
Full abstraction for the quantum lambda-calculus
... for the Quantum ...view of algorithmics and complexity, and applications exploiting quantum features in cryptography [ Gisin et ...deployed. The field is moving fast, with large companies investing ... Voir le document complet
29
Lambda theories of effective lambda models
... model of the untyped λ-calculus whose theory is exactly the least λ-theory ...investigate the more general ques- tion of whether the equational/order theory of a ... Voir le document complet
16
Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search
... disregard the ability of the described method to deal with decontraction, we can see similarities with finiteness checking for context-free grammars (Hopcroft and Ullman 1979, Theorem ...on the ... Voir le document complet
34
On the discriminating power of tests in resource lambda-calculus
... categorical models of DLL are now commune, and the simplest one is Rel, the category of sets and ...taking the co-Kleisly category asso- ciated to the ! comonad, Rel ... Voir le document complet
11
Understanding untyped $\overline{\lambda}\mu\widetilde{\mu}$ calculus
... versions of Parigot’s λµ calculus [ 15 ] with disjunction types was given by Selinger in [ 20 ...]. The two variants of λµ calculus are shown to be isomorphic in the presence ... Voir le document complet
16
Non-idempotent typing operators, beyond the lambda-calculus
... 19 The Decision Problem Hilbert had complemented his consistency program with the so-called Entscheidungsproblem (literally, the Decision Problem), which consisted in finding an algorithmic procedure ... Voir le document complet
370
Call-by-Value Lambda-calculus and LJQ
... redexes. The precise definition of which redexes are adminis- trative is crucial, since this choice might or might not make the refined Fischer translation a Galois connection or a reflection ... Voir le document complet
25
ASMs and Operational Algorithmic Completeness of Lambda Calculus
... Clearly, the operational power of machines using mas- sive parallelism cannot be matched by sequential ...networks of cellular automata, integer multiplication can be done in real time ...computation ... Voir le document complet
38
Algebras and Coalgebras in the Light Affine Lambda Calculus
... for the natural numbers extended with an infi- nite object) is not ...for the type §(A⊗X) ( A⊗§X, or the type §(A⊗A⊗X) ( .... The root of this problem lies in the fact that in ... Voir le document complet
13
Effective lambda-models vs recursively enumerable lambda-theories
... 4.4. Definition of graph models The class of graph models belongs to Scott continuous semantics, it is the simplest class of models of the ... Voir le document complet
35
Graph models of lambda-calculus at work, and variations
... The free ompletion method in K; G oh ; and Ghy oh : S ott's model D1 and Park's model P1 are the extensional ompletions of the graph models P and P 0 In parti ular D1 is generated by a p[r] ... Voir le document complet
41
A lambda-calculus foundation for universal probabilistic programming
... for models that enable system abstraction, and also as a way to compute in a set- ting where having access to a source of randomness is essential to achieve correctness, as in randomised computation or ... Voir le document complet
15
Fully Abstract Models of the Probabilistic λ-calculus
... in the subcategory PG − , where ∼-arenas and strategies are negative (that is, all initial moves are negative), and strategies are moreover well-threaded (meaning that events in S depend on a unique initial ... Voir le document complet
18
A call-by-name lambda-calculus machine
... in the frame of realisability theory (see the introduction), this allows the typing of programs in classical logic and no longer only in intuitionistic ...Indeed, the type ... Voir le document complet
13
Metatheoretic Results for a Modal Lambda Calculus
... 101 - 54602 Villers lès Nancy Cedex France Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex France Unité de recherche INRIA Rhône-Alpes : 65[r] ... Voir le document complet
42
A Lambda-calculus Structure Isomorphic to Gentzen-style Sequent Calculus Structure
... list of terms. While the structure of the usual -calculus is isomorphic to the structure of natural deduction, this new structure is isomorphic to the structure ... Voir le document complet
16
A Proof of Weak Termination of the Simply-Typed {$\lambda\sigma$}-Calculus
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ... Voir le document complet
17
Towards a lambda-calculus for concurrent and communicating systems
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ... Voir le document complet
15
Sujets connexes