Delia Kesner

Delia Kesner

Professor in Computer Science, Université de Paris
在 irif.fr 的電子郵件地址已通過驗證
被引用 2221 次
semantics of programming languages proof theory rewriting concurrenty theory