Jérôme Fortier

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Cut Elimination

Sequent Calculus

Top Venues

Theor. Comput. Sci.

Université du Québec à Montréal, Canada (PHD)

Education History

Université du Québec à Montréal, Canada

PHD

Publications