Skip to content

Equivariant Syntax and Semantics.

Andrew M. Pitts

VenueA*ICALP
Year2002
ProceedingsICALP

Browse the full ICALP paper archive.