ZG_3_10 — Semantics: Meaning, Reference, and Compositional Analysis

Semantics — the branch of linguistics concerned with meaning — investigates how words, phrases, and sentences encode and convey meaning, how meanings combine compositionally, and how linguistic meaning relates to the wor

ZG_3_00 — Linguistic Theory Structure: Subfolder Summary

ZG_3_18 — Pragmatics and Speech Act Theory

Pragmatics — the study of how context contributes to meaning beyond what is encoded in the literal words of an utterance — and speech act theory — the analysis of language as a form of action — have been foundational to

T_3_00 — Cognitive Perception: Subfolder Summary

ZD_1_14 — Type Theory: Lambda Calculus, Dependent Types, and the Curry-Howard Correspondence

Type theory is a foundational framework in mathematics, logic, and computer science that classifies values and expressions into types — categories that determine what operations are valid: a natural number can be added t

ZD_3_05 — Compiler Theory and Parsing

Compiler theory — the science of translating high-level programming languages into machine-executable code — is one of the most mathematically rigorous and practically impactful subfields of computer science. Compilers b

ZD_5_10 — Information Retrieval: Search Engines, Ranking, and Vector Search

Information retrieval (IR) is the science of searching for information in a collection of documents, metadata, databases, or the World Wide Web — finding material (usually text documents) of an unstructured nature (usual

ZE_5_14 — Ethics of Promise and Contract: Trust, Binding Words, and Obligation

Promise-keeping is among the most fundamental moral obligations — yet its philosophical basis is surprisingly elusive. Why does uttering certain words ("I promise") create a binding moral obligation? The question has gen