Streams and strings of formal proofs (2000)

by A Carbone
Venue:Theoretical Computer Science