1 citations · 1 across the 1 of their papers we have counts for
1 paper
Ana Bove, Ekaterina Komendantskaya, Milad Niqui
This volume contains the proceedings of the Workshop on Partiality and Recursion in Interactive Theorem Provers (PAR 2010) which took place on July 15 in Edinburgh, UK. This worksh…