Find out more about Daniel Murfet's experience
Daniel Murfet's highlights
Daniel Murfet's selected work
Proving the Landau-Ginzburg/Conformal Field Theory correspondence
Research Grant
Cofree coalgebras and differential linear logic
Journal article
Frobenius manifolds from a geometrical and categorical viewpoint
Research Grant
Encodings of Turing machines in linear logic
Journal article
Trustworthy Software Systems - Formal Analysis Tools Development
Research Contracts
Logic and the 2-Simplicial Transformer
Conference Proceedings
Daniel Murfet's selected work
Projects
Displaying the 6 most recent projects from 6 for Daniel Murfet.
Project Types
2
Internal Research Grant
2
Research Contracts
2
Research Grant
Scholarly Works
Displaying the 10 most recent scholarly works from 15 for Daniel Murfet.
Credentials
Positions
Lecturer (Level B) Pure Mathematics
Mathematics and Statistics
Education
Doctor of Philosophy
Australian National University