Linear Logic & Elementary Time (2001)

by Vincent Danos , Jean-baptiste Joinet
Venue:Information and Computation
Citations:28 - 0 self