RESEARCH BASE

Search 3,717 documents across 34 fields — every claim tier-rated by evidence

3,717 documents 34 sections 47,686 citations 34,596+ keywords indexed 4 evidence tiers

145 results for "language revitalization" — page 8 of 8

T_3_00 Psychology & Social

T_3_00 — Cognitive Perception: Subfolder Summary

ZD_1_14 Verified Information & Computation

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

type theory lambda calculus dependent types Curry-Howard Coq Lean
ZD_3_05 Verified Information & Computation

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

compiler parsing lexical analysis syntax analysis code generation optimization
ZD_5_10 Verified Information & Computation

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

information retrieval search engine TF-IDF PageRank relevance ranking NLP
ZE_5_14 Verified Ethics & Applied Philosophy

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

promise contract obligation trust fidelity promissory obligation