منابع مشابه
Computational Adequacy of the FIX-Logic
This paper presents computational adequacy results for the FIX logical system introduced by Crole and Pitts in LICS ’90. More precisely, we take two simple PCF style languages (whose dynamic semantics follow a call-byvalue and call-by-name regime) give translations of the languages into suitable judgements in the FIX-logic and prove that the translations are adequate for the static and dynamic ...
متن کاملComputational Adequa y of the FIX-Logi
Roy L. Crole Department of Computing, Imperial College, LONDON, England. July 13, 1995 Abstra t This paper presents omputational adequa y results for the FIX logi al system introdu ed by Crole and Pitts in LICS '90. More pre isely, we take two simple PCF style languages (whose dynami semanti s follow a all-byvalue and all-by-name regime) give translations of the languages into suitable judgemen...
متن کاملNew Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic
This paper introduces a new higher-order typed constructive predicate logic for fixpoint computations, which exploits the categorical semantics of computations introduced by Moggi [Mog 89] and contains a version of Martin Löf’s ‘iteration type’ [MarL 83]. The type system enforces a separation of computations from values. The logic contains a novel form of fixpoint induction and can express part...
متن کاملAssessing the computational adequacy of the General Problem Solver model
Problem solving is a core cognitive ability. Human performance varies widely in solving different types of problems. Ideally, cognitive models of problem solving should explain these variations in two ways: (1) the model should reproduce the sequences of actions applied by humans during problem solving (empirical adequacy), and (2) the time required by the model should match that required by hu...
متن کاملArticulatory Phonology, Task Dynamics and Computational Adequacy
This paper discusses articulatory phonology and task dynamics as potentially computationally adequate models which, together, might characterise speech production. The idea is introduced that, particularly at the task dynamic level, the object oriented computational paradigm is appropriate — this is a novel approach in speech production modelling. The paper concludes that articulatory phonology...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1994
ISSN: 0304-3975
DOI: 10.1016/0304-3975(95)90335-i