Geometric Logic, Constructivisation, and Automated Theorem Proving (Dagstuhl Seminar 21472) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thierry Coquand, Hajime Ishihara, Sara Negri, Peter M. Schuster. Geometric Logic, Constructivisation, and Automated Theorem Proving (Dagstuhl Seminar 21472). Dagstuhl Reports, 11(10):151-172, 2021. [doi]

This author has not been identified. Look up 'Thierry Coquand' in GoogleThis author has not been identified. Look up 'Hajime Ishihara' in GoogleThis author has not been identified. Look up 'Sara Negri' in GoogleThis author has not been identified. Look up 'Peter M. Schuster' in Google

runs on WebDSL