A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ariel Agne Da Silveira, Rodrigo Ribeiro, Miguel Alfredo Nunes, Paulo Torrens, Karina Girardi Roggia. A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq. In Marcelo de Almeida Maia, Fábio Dorça, Rafael Dias Araujo, Cristiano Damiani Vasconcellos, editors, SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6 - 7, 2022. pages 1-7, ACM, 2022. [doi]

This author has not been identified. Look up 'Ariel Agne Da Silveira' in GoogleThis author has not been identified. Look up 'Rodrigo Ribeiro' in GoogleThis author has not been identified. Look up 'Miguel Alfredo Nunes' in GoogleThis author has not been identified. Look up 'Paulo Torrens' in GoogleThis author has not been identified. Look up 'Karina Girardi Roggia' in Google

runs on WebDSL