Effective Applicative Structures
نویسندگان
چکیده
An Effective Applicative Structure is a collection of partial functions over an arbitrary set M, indexed by elements of the same set, closed under composition, and containing projections, universal functions and functions S n of the s-m-n theorem of Recursion Theory. The notion of EAS is developed as an abstract approach to computability, filling a notational gap between functional and combinatorial theories.
منابع مشابه
Coinductive characterizations of applicative structures
We discuss new ways of characterizing, as maximal xed points of monotone operators, observational congruences on-terms and, more in general, equivalences on applicative structures. These characterizations naturally induce new forms of coinduction principles, for reasoning on program equivalences, which are not based on Abramsky's applicative bisimulation. We discuss in particular, what we call,...
متن کاملTypability in Partial Applicative Structures
Adapting a claim of Kracht (Theor Comput Sci 354:131–141, 2006), we establish a characterization of the typable partial applicative structures.
متن کاملTruth in Applicative Theories
We give a survey on truth theories for applicative theories. It comprises Frege structures, Universes for Frege structures, and a theory of supervaluation. We present the proof-theoretic results for these theories and show their syntactical expressive power. In particular, we present as a novelty a syntactical interpretation of ID1 in a applicative truth theory based on supervaluation.
متن کاملFrege Structures for Partial Applicative Theories
Due to strictness problems, usually the syntactical definition of Frege structures is conceived as a truth theory for total applicative theories. To investigate Frege structures in a partial framework we can follow two ways. First, simply by ignoring undefinedness in the truth definition. Second, by introducing of a certain notion of pointer. Both approaches are compatible with the traditional ...
متن کاملA user-based approach to Spanish-speaking L2 acquisition of Chinese applicative operation
Recent studies of argument structure distinguishes non-core (applied) arguments from core arguments in the sense that non-core ones do not belong to the basic argument structure of verbs and that they enter argument structures through Applicative Operations (AO) introduced by functional heads such as Low Applicative-source (LA-source) or Low Applicative-goal (LA-goal) heads (Pylkkänen, 2000; 20...
متن کامل