Linear Logic & Elementary Time (2001)

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