Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 13 of 13 for “"variable binding"”.
-
Topics in Korean syntax : phrase structure, variable binding and movement
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1988.
-
Economy and semantic interpretation : a study of scope and variable binding
… plays a role in determining relative scope, variable binding, and the form of Operator Variable Constructions. Economy and Scope (chapters 2-3): In these chapters I investigate the scopal properties of sentences that are semantically identical under Surface- and Inverse-Scope (Scopally …
-
Request-Based Mediated Execution
… constructs using this approach, including variable binding, control structures, and basic concurrency features. The approach is then applied to mediating execution of third-party Javascript code on web pages.
-
APT: A principled design for an animated view of program execution for novice programmers
… dynamic programming concepts such as variable binding, recursion, and backtracking, and secondly a debugging tool which allows novices to step through their own code watching the virtual machine in action. This moves towards simplifying the novice's debugging environment by supplying …
-
Representing High-Level Knowledge Structures in Massively Parallel Networks
… techniques. These issues include the problem of variable binding, multiple instantiations of knowledge structures, recursion, hierarchical abstraction, and temporal constraints.
-
The role of structural and discourse-level cues during pronoun resolution
… I begin by considering how condition B of the Binding Theory (Chomsky 1981; 1986) has been captured in pronoun processing models; some researchers have claimed that processing is faithful to syntactic constraints from the beginning of the search (e.g. Nicol and Swinney 1989), while others have …
-
Relational Programming in miniKanren: Techniques, Applications, and Implementations
… Scheme might use nominal unification to support variable binding and scope, Constraint Logic Programming over Finite Domains (CLP(FD)) to implement relational arithmetic, and tabling to improve termination behavior. In this dissertation I present <italic>miniKanren</italic>, a family of languages …
-
The structure of Tagalog : specificity, voice, and the distribution of arguments
… structure such as reflexive and pronominal variable binding, I examine the structural relations among external arguments, applicative arguments, direct objects, and adjuncts and show them to be in accordance with what is known about structural argument asymmetries cross-linguistically.
-
Reasoning Using Higher-Order Abstract Syntax in a Higher-Order Logic Proof Environment: Improvements to Hybrid and a Case Study
… strengthen the injectivity property for Hybrid's variable-binding operator, and develop rules for compositional proof of its side condition, avoiding conversion from HOAS to de Bruijn indices. We prove representational adequacy of Hybrid (with these improvements) for a lambda-calculus-like subset …
-
Monadic and Higher-Order Structure
… augment algebraic theories with higher-order, variable-binding structure. This motivates the definition of higher-order algebraic theories to capture this structure, permitting the study of simple type theories in a categorical setting analogous to that of algebraic theories. The theory of …
-
Second-Order Algebraic Theories
… and a formal deductive system for languages with variable binding and parameterised metavariables. This dissertation completes the algebraic foundations of second-order languages from the viewpoint of categorical algebra. In particular, the dissertation introduces the notion of second-order …
-
On the making and meaning of chains
… C effects, where novel interactions between variable binding, antecedent contained deletion and Condition C are observed. The second, developed in chapter 3, is based on conditions on the identity of traces observed in antecedent contained deletion constructions. Both arguments lead to the …
-
DNA sequence design of non-orthogonal binding networks, and application to DNA data storage
… such that each DNA sequence has a dedicated binding partner, its complementary sequence. This design approach reduces the number of interactions that must be considered when predicting how a system will behave, at the cost of reducing the information-gathering ability of each molecular unit. …