Parametric λ-Theories
نویسنده
چکیده
The parametric lambda calculus subsumes different existing λ-calculi, in particular the classical λβ-calculus and the λβv-calculus of Plotkin. Previously established results on the parametric calculus, such as as confluence and standardization, are primarily syntactical. In this paper our attention is mainly addressed to semantics, although we start again from a syntactical point of view. We propose an analysis of the notion of contextual preorders of usual operational semantics. Given a contextual preorder, we build parametric complete lattice based on a closure operator. This lattice provides a fully abstract model for the considered preorder, via a completion.
منابع مشابه
Borel completeness of some א0-stable theories
We study א0-stable theories, and prove that if T either has eniDOP or is eni-deep, then its class of countable models is Borel complete. We introduce the notion of λ-Borel completeness and prove that such theories are λ-Borel complete. Using this, we conclude that an א0-stable theory satisfies I∞,א0(T, λ) = 2 λ for all cardinals λ if and only if T either has eni-DOP or is eni-deep.
متن کاملMultiversal Polymorphic Algebraic Theories
We formalise and study the notion of polymorphic algebraic theory, as understood in the mathematical vernacular as a theory presented by equations between polymorphically-typed terms with both type and term variable binding. The prototypical example of a polymorphic algebraic theory is System F, but our framework applies more widely. The extra generality stems from a mathematical analysis that ...
متن کاملWeighted lambda precision models in rough set data analysis
We present a parameter free and monotonic alternative to the parametric variable precision model of rough set data analysis, based on the well known PRE index λ of Goodman and Kruskal. Using weighted (parametric) λ models we show how expert knowledge can be integrated without losing the monotonic property of the index. Based on a weighted λ index we present a polynomial algorithm to determine a...
متن کاملThe AdS/QCD Correspondence: Still Undelivered
We consider the particle spectrum and event shapes in large N gauge theories in different regimes of the short-distance ’t Hooft coupling, λ. The mesons in the small λ limit should have a Regge spectrum in order to agree with perturbation theory, while generically the large λ theories with gravity duals produce spectra reminiscent of KK modes. We argue that these KK-like states are qualitativel...
متن کاملEfficient Higher-Order Shear Deformation Theories for Instability Analysis of Plates Carrying a Mass Moving on an Elliptical Path
The dynamic performance of structures under traveling loads should be exactly analyzed to have a safe and reasonable structural design. Different higher-order shear deformation theories are proposed in this paper to analyze the dynamic stability of thick elastic plates carrying a moving mass. The displacement fields of different theories are chosen based upon variations along the thickness as c...
متن کامل