The True Concurrency of Herbrand's Theorem - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Aurore Alcolei, Pierre Clairambault, Martin Hyland, Glynn Winskel. The True Concurrency of Herbrand's Theorem. In Dan R. Ghica, Achim Jung, editors, 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK. Volume 119 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]

This author has not been identified. Look up 'Aurore Alcolei' in GoogleThis author has not been identified. Look up 'Pierre Clairambault' in GoogleThis author has not been identified. Look up 'Martin Hyland' in GoogleThis author has not been identified. Look up 'Glynn Winskel' in Google

runs on WebDSL