DMCA

Partiality and Recursion in Interactive Theorem Provers -- An Overview (2011)

by Ana Bove, et al.
Venue:UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE
Citations:2 - 0 self