Unifying Theories of Programming

By Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi. Lecture Notes in Computer Science, 2012

353 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/e6884bdd31eb4d733f4776c2e76bf3a5c3450377