Research outputs
Publications
Read FPRD Lab research papers, books, and overview reports online or as PDFs. Each entry links to its online edition, theorem index, and related claims when available.
7 publications · 107 indexed theorem statements
Research papers
Papers presenting focused claims, constructions, proofs, and research frontiers within the Lab’s broader areas.
| Publication | Kind | Status | Revision | Theorem statements | Related claims | Artifact |
|---|---|---|---|---|---|---|
| Persistent receipts and simultaneous records: a direct scaffold for even palindromes | paper | review | Draft 5 · 21 September 2026 | 19 | 5 | |
| Real-time multitape languages transfer to parsing expression grammars | paper | released | Expanded reading edition · 5 September 2026 | 17 | 6 | |
| Parameter retuning in the direct reduction for the Euclidean closest vector problem: 1/30-hardness and a 1/28 retained-parameter frontier | paper | released | Expanded reading edition · 5 September 2026 | 3 | 2 | |
| Persistent scaffold computation: causal presentations, sewing, and feedback | paper | review | Expanded reading edition · 5 September 2026 | 22 | 12 | |
| A coherent cubical algebra for unary scaffold histories | paper | review | Expanded reading edition · 5 September 2026 | 9 | 1 |
Books and overviews
Broad introductions and syntheses connecting ideas and results across several research areas.
| Publication | Kind | Status | Revision | Theorem statements | Related claims | Artifact |
|---|---|---|---|---|---|---|
| FPRD program overview | report | released | Expanded reading edition · 5 September 2026 | — | — | |
| FPRD program textbook | book | released | R1 | 37 | 11 |