A Functional Language for Logarithmic Space (2004)

by Peter Møller Neergaard
Venue:In APLAS
Citations:7 - 0 self