Lionel Vaux Auclair

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 13

Top Topics

Cut Elimination

Sequent Calculi

Proof Theoretic

Natural Deduction

Top Venues

Log. Methods Comput. Sci.

Publications