... international center in Clichy (north Paris). ... Church-Rosser property for expressive type systems ... (Moscow State) SESSION 19: AUTOMATED DEDUCTION ...Read more