161 followers
Finished reading: Zena M. Ariola and Hugo Herbelin. Minimal Classical Logic and Control Operators. ICALP 2003. https://t.co/b57pAtb2Pf
Finished reading: Zena M. Ariola and Hugo Herbelin. Minimal Classical Logic and Control Operators. ICALP 2003. https://t.co/b57pAtb2Pf