Knowledge Tree

researcher / Patrick Baillot

Patrick Baillot

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Sized Types Methods and their Applications to Complexity Analysis in Pi-Calculus

Investigating the expressivity of linear logic subsystems characterizing polynomial time

Linear logic, type assignment systems and implicit computational complexity

Réalisabilité et paramétricité dans les systèmes de types purs

Complexité implicite dans des Lambda -calculs concurrents

Typing and Optimal reduction for λ-calculus in variants of Linear logic for Implicit computational complexity