Book

VTC0: A second-order theory for TC0

by Phuong Nguyen