A type-theoretical approach to categorical interaction and complex system adaptation: an empirical study based on register classification
Abstract Type theories provide a formal foundation for logic, mathematics, and computing. They have also been applied to the study of language in formal syntax and semantics, such as categorial grammar and Montague semantics. In this paper, we adopt insights from the type-theoretical definition of g...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Springer Nature
2025-06-01
|
| Series: | Humanities & Social Sciences Communications |
| Online Access: | https://doi.org/10.1057/s41599-025-05089-z |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|