Streams and strings in formal proofs (0)

by A Carbone
Venue:Theoret. Comput. Sci