Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mark Bickford, Liron Cohen 0001, Robert L. Constable, Vincent Rahli. Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle. In Christel Baier, Jean Goubault-Larrecq, editors, 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference). Volume 183 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

This author has not been identified. Look up 'Mark Bickford' in GoogleThis author has not been identified. Look up 'Liron Cohen 0001' in GoogleThis author has not been identified. Look up 'Robert L. Constable' in GoogleThis author has not been identified. Look up 'Vincent Rahli' in Google

runs on WebDSL