On System F:
Introducing linear logic:
On formal logic and formal proof theory (typed -calculus, linear logic, coherence spaces, …)
On formal logic and its categorical semantics with an emphasis on linear logic and in fact on some kind of quantum logic (section 17), but emphatically not in the original sense of [Birkhoff & von Neumann (1936)(BirkhoffvonNeumann36):]
surveyed in:
See also:
Last revised on April 8, 2023 at 14:06:32. See the history of this page for a list of all contributions to it.