Andrew M. Pitts Equivariant Syntax and Semantics. 32-36 2002 conf/icalp/2002 ICALP http://link.springer.de/link/service/series/0558/bibs/2380/23800032.htm db/conf/icalp/icalp2002.html#Pitts02