Equivariant Syntax and Semantics [chapter]

Andrew M. Pitts
2002 Lecture Notes in Computer Science  
The notion of symmetry in mathematical structures is a powerful tool in many branches of mathematics. The talk presents an application of this notion to programming language theory. Research funded by UK EPSRC grant GR/R07615 and Microsoft Research Ltd.
doi:10.1007/3-540-45465-9_3 fatcat:j5yhzgv4sbhxndrjnfqfltbbim