Daniel Murfet

Publications

• Elimination and Cut-Elimination in Multiplicative Linear Logic. Daniel Murfet, William Troiani. 2022.
• Gentzen-Mints-Zucker Duality. Daniel Murfet, William Troiani. 2020.
• Derivatives of Turing Machines in Linear Logic. James Clift, Daniel Murfet. 2019.
• Encodings of Turing Machines in Linear Logic. James Clift, Daniel Murfet. 2018.
• On Sweedler's Cofree Cocommutative Coalgebra. Daniel Murfet. 2017.
• Logic and Linear Algebra: An Introduction. Daniel Murfet. 2017.