Proofs involving infinite structures can use corecursive functions as inhabitants of a corecursive type. Admissibility of such functions in theorem provers such as Coq or Agda, requires that these functions are productive. Typically this is proved by showing satisfaction of a guardedness condition. The guardedness condition however is extremely restrictive and many programs which are in fact pr...

Abstract This longitudinal study explored the roles of item- and learner-related variables in L2 learners’ development productive collocation knowledge (L1 = Dutch; German; N Learners 50). Learners’ form recall 35 target collocations was measured three times over a 3-year period. The item-related investigated were L1-L2 congruency, corpus frequency, association strength, imageability. We also p...

Objective The objective of this project is to develop a system for real-time recognition of natural language continuous speech. To satisfy the objective of "natural language", the system must recognize the sentences actually produced by users in a realistic application -no artificial grammatical restriction will be allowed merely for the purpose of the speech recognition. On the other hand, the...

Vocabulary knowledge forms the basis of all communicative skills and is a core component language proficiency. In educational contexts in which target input limited, acquisition new vocabulary can be challenging task for learners, lexical development might slow. This study explored extent to 14 upper-secondary students French as foreign (FFL) Norwegian schools showed signs increased richness th...

This paper reports a study which investigated if there was a match between students’ English vocabulary size and the vocabulary load of a locally produced textbook. The analysis of the passages of the pre-university English textbook currently in use in Iran’s education system using RANGE program indicated that in order to comprehend the texts, students need to know not only words from 2000 high...

Theories and research in embodied cognition postulate that cognition grounded in action enjoys a processing advantage. Extending this theory to the study of how fine motor skills (FMS) link to vocabulary development in preschool children, the authors investigated FMS and vocabulary in 76 preschoolers. Building on previous research, they hypothesized that links between FMS and vocabulary were dr...

There have been some observed studies and developed applications (apps), with a concentration on Mobile Assisted Language Learning (MALL), and no consideration of communicative needs of the learners; besides, these studies focused on either the theoretical aspects or the utilization of the available apps in the market (Burston & Athanasiou, 2020). Hence, Vocabulary Guru (VG), a custom-made mobi...

Given the complexity of host-microbiota symbioses, scientists and philosophers are asking questions at new biological levels of hierarchical organization-what is a holobiont and hologenome? When should this vocabulary be applied? Are these concepts a null hypothesis for host-microbe systems or limited to a certain spectrum of symbiotic interactions such as host-microbial coevolution? Critical d...