A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Applying Universal Algebra to Lambda Calculus
2008
Journal of Logic and Computation
Preserved Fulltext
From one side we survey the knowledge we have acquired these last ten years about the lattice of all λ-theories (= equational extensions of untyped λ-calculus) and the models of lambda calculus via universal ...
., the semantics of lambda calculus given in terms of models of lambda calculus, which are directly indecomposable as combinatory algebras) includes the continuous, stable and strongly stable semantics ...
partially ordered model of lambda calculus. ...
doi:10.1093/logcom/exn085
fatcat:muo26iplxbe2diepxtlnnutdxi
Models and theories of lambda calculus
[article]
2009
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
In this paper we briefly summarize the contents of Manzonetto's PhD thesis which concerns denotational semantics and equational/order theories of the pure untyped lambda-calculus. ...
The main research achievements include: (i) a general construction of lambda-models from reflexive objects in (possibly non-well-pointed) categories; (ii) a Stone-style representation theorem for combinatory ...
This is a natural generalization of Honsell-Ronchi Della Rocca's longstanding open problem about the existence of a continuous model having as equational theory exactly λβ or λβη (since λβ and λβη are ...
arXiv:0904.4756v1
fatcat:7j47i72zebaoxkltk6fqul5bsi
Graph easy sets of mute lambda terms
2016
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper, we define for each natural number n, an infinite and recursive set M n of mute terms, and show that it is graph-easy: for any closed term t of the lambda calculus there exists a graph model ...
Alongside, we provide a brief survey of the notion of undefinedness in the lambda calculus. ...
A total pair (D, p) generates a model of the λ-calculus of universe P(D), called graph λ-model. ...
doi:10.1016/j.tcs.2015.12.024
fatcat:4ronvkej6vfw7lpptda55gql4q
Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus
2009
2009 24th Annual IEEE Symposium on Logic In Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
In this paper we analyze the class of reflexive Scott domains, the models of λ-calculus living in the category of Scott domains (a full subcategory of Cpo). ...
Based on a fine-grained study of an "effective" version of Scott's information systems, we have shown that there are equations not in λβ (resp. λβη) which hold in all (extensional) iweb-models. ...
Based on a notion of an effective model of λ-calculus, in [5] it was shown that the order theory of an effective model cannot be r.e. and its equational theory is different from λβ (λβη). ...
doi:10.1109/lics.2009.22
dblp:conf/lics/CarraroS09
fatcat:vmupobwr7zb6bgu4bfiihko7qe
Some results on extensionality in lambda calculus
2005
Annals of Pure and Applied Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The result of the application of a term of the form λx.M to Ω returns the same tree which is obtained replacing the "label" x with the "label" Ω in the tree of M, that is: ...
The following lemma points out that the result of the application of a term of the form λx.M to Ω returns the same tree as one can obtain replacing the "label" x with the "label" Ω in the tree of M. ...
Acknowledgements The first author would like to thank Alessandro Berarducci for useful conversations on the topics of the paper. ...
doi:10.1016/j.apal.2003.05.001
fatcat:kexbwstqizc6tnwmhsa4jm6mzu
Lambda theories of effective lambda models
[article]
2007
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Other Versions
A longstanding open problem is whether there exists a non-syntactical model of untyped lambda-calculus whose theory is exactly the least equational lambda-theory (=Lb). ...
both are the order/equ theories of an effective graph model. ...
The authors do not know any example of unsolvable satisfying the above condition. ...
arXiv:math/0701684v2
fatcat:uo7ia755zjgzdf6t4hvnxn6p24
What is a categorical model of the differential and the resource lambda-calculi?
[article]
2010
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
In this paper we provide an abstract model theory for the untyped differential lambda-calculus and the resource calculus. ...
Examples of models based on relations are provided. ...
also a model of the resource calculus. ...
arXiv:1011.2307v1
fatcat:bjaj2rb3sjdq7bbs5lt3zadyl4
What is a categorical model of the differential and the resource λ-calculi?
2012
Mathematical Structures in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
We prove that the extensional model D of λ-calculus we have recently built in MRel is linear, and therefore it is also an extensional model of the untyped differential λ-calculus. ...
constitute sound and complete models of the untyped differential λ-calculus. ...
a model of the resource calculus. ...
doi:10.1017/s0960129511000594
fatcat:oahkwj3ihndovlixd4tp5yflg4
On the completeness of order-theoretic models of the λ-calculus
2009
Information and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Domain theory Completeness Consistency Mal'cev operators Scott discovered his domain-theoretic models of the λ-calculus, isomorphic to their function space, in 1969. ...
on the consistency of certain critical sentences asserting the existence of certain functions analogous to the generalized Mal'cev operators first considered in the context of the λ-calculus by Selinger ...
Let T be a first-order theory, e.g., that for combinatory logic, for the λβ-calculus or for the λβη-calculus; let C be a class of models of T; and let F be a set of sentences. ...
doi:10.1016/j.ic.2008.03.027
fatcat:so6e3udqifhjbeootdpyrbyoii
Infinite λ-calculus and non-sensible models
[chapter]
2017
Logic and algebra
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We define a model of λβ-calculus which is similar to the model of Böhm trees, but it does not identify all the unsolvable lambda-terms. ...
We set the foundations for such a calculus, which might turn out to be a useful tool for the study of non-sensible models of λ-calculus. ...
During our attempts to solve the problem Intrigila suggested to expand the language of λ-calculus with a new constant δ together with the rule δ → δω 3 . ...
doi:10.1201/9780203748671-18
fatcat:pzzkf3iwdjbnpg2eueosqsmojy
A Fuzzy Weibull model with application in stocks optimization
2011
Procedia - Social and Behavioral Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Therefore the whole numerical procedure applied in the followings using the (FAHP) and (FQFD) algorithms depends on the solved problem's data. ...
In the fuzzy neural networks' applications the membership functions _A (t) are selected from a standardized sequence of fuzzy sets without any modification depending on the class of problems to be solved ...
This family of Fuzzy numbers is no longer defuzzificated, it will result in validation of the models obtained by numerical algorithms (FAHP) and Neuro-Fuzzy networks that are attached. ...
doi:10.1016/j.sbspro.2011.09.122
fatcat:rfxfunmoc5cwxdtcjd5nu35pqi
The third parafermionic chiral algebra with the symmetry Z3
2005
Physics Letters B
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2005 pre-print arXiv:hep-th/0501128v1 fatcat:a46w2vppgnbglgra3i7q2mykqu
Acknowledgments: We are grateful to J.L.Jacobsen for his collaboration during the initial stages of this project. ...
This algebra is of the following form: Ψ(z ′ )Ψ(z) = 1 (z ′ − z) ∆ Ψ {λΨ + (z) + (z ′ − z)λβ (1) ΨΨ,Ψ + ∂Ψ + (z) +(z ′ − z) 2 [λβ (11) ΨΨ,Ψ + ∂ 2 Ψ + (z) + λβ (2) ΨΨ,Ψ + L −2 Ψ + (z) + ζΨ(z)] + ...} ...
The third solution, with ∆ Ψ = 5/2, is know as the chiral algebra of the W B 2 model [5] . ...
doi:10.1016/j.physletb.2005.01.085
fatcat:rltwe27penezliswy75z2kc5ea
On the Spontaneous Dynamics of Synaptic Weights in Stochastic Models with Pair-Based STDP
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
We show that the pairing model of presynaptic and postsynaptic spikes controls the synaptic weight dynamics for small external input, on an excitatory synapse. ...
This result implies in particular that mean-field analysis of plasticity may miss some important properties of STDP. ...
We show in particular that several interesting properties of the synaptic weight dynamics are lost when using classical models with numerous excitatory inputs, leading to an underestimation of the role ...
arXiv:2111.07919v1
fatcat:5m2yfupmijdirbihnfyy2lmgfe
Gravity induced from quantum spacetime
2014
Classical and quantum gravity
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We show that tensoriality constraints in noncommutative Riemannian geometry in the 2-dimensional bicrossproduct model quantum spacetime algebra [x,t]=λ x drastically reduce the moduli of possible metrics ...
The classical geometry is conformally flat and its geodesics motivate new coordinates which we extend to the quantum case as a new description of the quantum spacetime model as a quadratic algebra. ...
It is not assumed that 1-forms and functions commute, so this is more general than classical differential calculus. In the case of (1.2) there is only one standard calculus of dimension n. ...
doi:10.1088/0264-9381/31/3/035020
fatcat:hyiu27zgy5gnhgkf77v43zdgfq
Type-safe run-time polytypic programming
2006
Journal of functional programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Polytypic programming is a way of defining type-indexed operations, such as map, fold and zip, based on type information. ...
Although it is natural to define polytypic programs as operating over first-class types, such a semantics suffers from a number of drawbacks. ...
All equivalent terms have the same erasure, so we can argue that they model the same computation. ...
doi:10.1017/s0956796806005879
fatcat:565tbvem5ndabegfpvsxpov5cm
« Previous
Showing results 1 — 15 out of 495 results