3 citations · 3 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
Modelling and Verifying Neuronal Archetypes in Rocq
Abdorrahim Bahrami, Rébecca Zucchini, Elisabetta De Maria +1
Formal verification has become increasingly important because of the kinds of guarantees that it can provide for software systems. Verification of models of biological and medical…
cs.LO2019
A Type Theory for Defining Logics and Proofs
Brigitte Pientka, David Thibodeau, Andreas Abel +2
We describe a Martin-Löf-style dependent type theory, called Cocon, that allows us to mix the intensional function space that is used to represent higher-order abstract syntax (HOA…