Semantics and logic of object calculi (0)

by B Reus, T Streicher
Venue:Theoretical Computer Science