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
Rewriting Theory for Biochemical Reaction Systems
March 29, 2021
Nicolas Behr
(Université de Paris, CNRS, IRIF)
TBA
Post navigation
A type theoretic approach to weak omega-categories
Proof Theory on Graphs