Skip to content
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Masters
Members
Publications
Seminar
Contact
How to get here?
Log In
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Masters
Members
Publications
Seminar
Contact
How to get here?
Log In
TBA
December 16, 2024
Thomas Chatain
(LMF, ENS Paris-Saclay)
TBA
Post navigation
A refutation of pebble minimisation via macro tree transducers (and linear λ-calculus?)
