Monadic W in Coq
Rafael Castro Gonçalves Silva, Cristiano Vasconcellos, and Karina Girardi Roggia
A Formalisation of LEGv8 in Agda
Santiago Arranz Olmos, Martín Fernández, Matías Steinberg, Alejandro Gadea, Emmanuel Gunther, and Miguel Pagano
An Algorithm for Context-Free Path Queries over Graph Databases
Ciro M. Medeiros, Martin Alejandro Musicante, and Umberto Souza da Costa