Report - Names and Symmetry in Computer Scienceamp12/talks/namscs-lics.pdf · Names and Symmetry in Computer Science Andrew Pitts ... as operations for composing suitable mathematical structures.

Please pass captcha verification before submit form