Nominal Sets: Names and Symmetry in Computer Science

By Andrew M. Pitts. 2013

304 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/e8d40f829f8d8991cba836ac9dc59796e12f32ea