Calculating Parallel Programs in Coq Using List Homomorphisms

Frédéric Loulergue, Wadoud Bousdira, Julien Tesson
PDF DOI
Type
Journal article
Publication
International Journal of Parallel Programming