Geek Repo
followers
following
stars
Location:Paris
Home Page:https://wikimpri.dptinfo.ens-cachan.fr/
Github PK Tool:Github PK Tool
Functional programming and type systems
Mathematical foundations of automata theory
Foundations of proof systems
Abstract interpretation: application to verification and static analysis
Graph algorithms
Proof assistants
Linear logic and logical paradigms of computation