All Stories

  1. Full abstraction for expressiveness: history, myths and facts

    Article • Mathematical Structures in Computer Science, November 2014, Cambridge University Press

    Professor Uwe Nestmann