The language X : circuits, computations and classical logic (2005)

by Steffen Van Bakel , Stéphane Lengr , Pierre Lescanne , Fife Ky Ss , École Normale Supérieure De Lyon
Venue:Proceedings of Ninth Italian Conference on Theoretical Computer Science (ICTCS’05
Citations:29 - 24 self