Linear logic & elementary time (0)

by Vincent Danos, Jean-Baptiste Joinet
Venue:Information and Compution