erential interaction nets (2006)

by Di
Venue:Theoretical Computer Science