output
20062025
most citedLineal: A linear-algebraic Lambda-calculus

34 citations

researchers with a paper here
collaborating institutions
Showing 2025 · cs.LOShow all

1 paper · 2 filters

cs.LO2025

Formalizing Representation Theorems for a Logical Framework with Rewriting

Thomas Traversié, Florian Rabe

Representation theorems for formal systems often take the form of an inductive translation that satisfies certain invariants, which are proved inductively. Theory morphisms and log…