On the pasting law for pullbacks:
On categorical semantics for lambda-calculus:
Last revised on October 21, 2026 at 09:05:28. See the history of this page for a list of all contributions to it.