2 |
Verification of Program Transformations with Inductive Refinement Types
|
|
|
|
In: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://hal.inria.fr/hal-03518825 ; ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩ (2021)
|
|
BASE
|
|
Show details
|
|
3 |
Breaking Arabic: the creative inventiveness of Uyghur script reforms
|
|
|
|
In: Design Regression ; https://hal.archives-ouvertes.fr/hal-03377124 ; Design Regression, University of Reading, 2021 ; https://designregression.com/article/breaking-arabic (2021)
|
|
BASE
|
|
Show details
|
|
4 |
Research data supporting “ΕΛΛΗΝΙΚΑ ΓΡΑΜΜΑΤΑ: A linguistic analysis of the early Greek alphabets” ...
|
|
|
|
BASE
|
|
Show details
|
|
6 |
The Social and Cultural Contexts of Historic Writing Practices ...
|
|
|
|
Abstract:
Writing is not just a set of systems for transcribing language and communicating meaning, but an important element of human practice, deeply embedded in the cultures where it is present and fundamentally interconnected with all other aspects of human life. The Social and Cultural Contexts of Historic Writing Practices explores these relationships in a number of different cultural contexts and from a range of disciplinary perspectives, including archaeological, anthropological and linguistic. It offers new ways of approaching the study of writing and integrating it into wider debates and discussions about culture, history and archaeology. ...
|
|
Keyword:
Anthropology; Archaeology; FOS Sociology; Writing Systems
|
|
URL: https://www.repository.cam.ac.uk/handle/1810/323921 https://dx.doi.org/10.17863/cam.71381
|
|
BASE
|
|
Hide details
|
|
7 |
ΕΛΛΗΝΙΚA ΓΡΑΜΜΑΤΑ: a linguistic analysis of the early Greek alphabets ...
|
|
|
|
BASE
|
|
Show details
|
|
8 |
Systèmes d’écriture pour langues des signes et langues vocales africaines ...
|
|
|
|
BASE
|
|
Show details
|
|
9 |
Writing systems, reading and language. EPS mid-career prize lecture, presented on July 13, 2017 in Reading, England ...
|
|
|
|
BASE
|
|
Show details
|
|
10 |
Language neutrality of the LLAMA test explored: The case of agglutinative languages and multiple writing systems
|
|
|
|
In: Journal of the European Second Language Association; Vol 5, No 1 (2021); 87–100 ; 2399-9101 (2021)
|
|
BASE
|
|
Show details
|
|
11 |
Sculpting the narrative : the material practice of Epi-Olmec art and writing ...
|
|
|
|
BASE
|
|
Show details
|
|
12 |
Spelling–sound knowledge in the context of multilingualism: is access selective or nonselective? ...
|
|
|
|
BASE
|
|
Show details
|
|
13 |
Diffractive Sensor Elements for Registration of Long-Term Instability at Writing of Computer-Generated Holograms
|
|
|
|
In: Sensors ; Volume 21 ; Issue 19 (2021)
|
|
BASE
|
|
Show details
|
|
18 |
Implementing an Intelligent Collaborative Agent as Teammate in Collaborative Writing: toward a Synergy of Humans and AI
|
|
|
|
BASE
|
|
Show details
|
|
19 |
The natural supremacy of spoken language. Orality and writing in Africa
|
|
|
|
BASE
|
|
Show details
|
|
20 |
At the Intersection of Script and Literature: Writing as Aesthetic in Modern and Contemporary Japanese-language Literature
|
|
|
|
BASE
|
|
Show details
|
|
|
|