Sign in

From Categorical Logic to Facebook Engineering.

Peter W. O'Hearn
Published in: LICS (2015)
Keyphrases