This exploratory study reports on characteristics of proof production and proof writing observed in the work of first-year university students who took part in workshops on the theorem prover LEAN (https://leanprover.github.io). These workshops were voluntary and offered alongside a transition to proof module in a UK university. Through…

The same-different task is a classic paradigm that requires participants to judge whether two successively presented stimuli are the same or different. While this task is simple, with results that have been replicated many times, response times (RTs) and accuracy for both same and different decisions remain difficult to model. The biggest obstacle…

This study used wrap-up effects on eye movements to assess the relationship between online reading behavior and comprehension. Participants, assessed on measures of reading, vocabulary, and spelling, read short passages that manipulated whether a syntactic boundary was "unmarked" by punctuation, "weakly marked" by a comma, or…

This study investigates the influence of a grammatical reconstruction task on talk and subsequent individual writing. In a South Korean university, two classes alternated learning conditions, between 'read-summarize-write' and 'read-reconstruct-write'. In the summarize condition, small groups collaborated to create a summary of the reading; in the…

Researchers have found executive functioning (EF) to be important for reading and math performance but have paid less attention to their role in writing. Van Dijk and Kintsch (1983) identified three levels of writing: microstructure, macrostructure, and superstructure. The existing work on EF and writing has several limitations: researchers have…

The aim of the present study is to compare the writing products of English as a Foreign Language (EFL) university students using accuracy and grammatical complexity as measures. It also aims at examining the development of the morphological, syntactic, lexical, spelling, and punctuation errors committed by these learners when writing in English.…

In this study, we examined whether interpreters and interpreting trainees are better predisposed to respeaking than people with no interpreting skills. We tested 57 participants (22 interpreters, 23 translators and 12 controls) while respeaking 5-minute videos with two parameters: speech rate (fast/slow) and number of speakers (one/many). Having…

Heritage speakers (HSs) of Russian in the United States form a very complex and diverse group of learners. Research in heritage linguistics has examined key parameters of the HSs' oral production. Important work has been done in heritage language (HL) pragmatics, morphology, and lexicon. However, very few studies have been conducted to…