LINEAR LOGIC ----- [TOP]

My Work:

• Fixed Point Theorem for LAST
• Russell's Paradox and Polynomials: A talk at the University of Melbourne student seminar 2023
• Russell's Paradox and the Y Combinator
• Sweedler Semantics and the category of Hilbert spaces

Notes on the Literature

• Lawveres Fixed Point Theorem
• Goldblatts "Categorical Logic"
• LL, DiLL and Stratified LL
• Flow Diagram of the Proof of Cut Elimination Referenced in the Above