Abstract We show that Church’s thesis, the axiom stating all functions on naturals are computable, does not hold in cubical assemblies model of type theory. nevertheless thesis is consistent with univalent theory by constructing a lex modality such holds corresponding reflective subuniverse.

The goals of this study were to find out the most dominant types grammatical cohesion used in undergraduate thesis belonged students program English language education at Hamzanwadi university by M.A.K Halliday’s theory. This was classified into descriptive qualitative research with discourse approach. author documentation form students’ for collecting data. There two kinds data taken, namely p...

Writing an undergraduate thesis is a formidable task, especially in Indonesia where writing not engrained its culture. Therefore, this study aims to explore the internal and external factors thesis. A qualitative research design was used. Phase 1 used online questionnaire ( n = 143) find encouraging obstructing factors. 2 in-depth interview 48) validate findings from 1. general inductive approa...