Workshop on Partiality and Recursion in Interactive Theorem Provers (workshop)

User Publication Person Organisation Collection