G.: Operational semantics for formal tensorial calculus (0)

by P Arrighi, Dowek
Venue:Turku Centre for Computer Science General