The notion of symmetry in mathematicalstructures is a powerfulto olin many branches of mathematics. The talk presents an application of this notion to programming language theory. © 2002 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Pitts, A. M. (2002). Equivariant syntax and semantics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2380 LNCS, pp. 32–36). Springer Verlag. https://doi.org/10.1007/3-540-45465-9_3
Mendeley helps you to discover research relevant for your work.