Lambda calculus with explicit recursion von Ariola, Zena M.

An algebraic approach to the compilation and operational semantics of functional language with I-structures von Ariola, Zena M.

Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation von Ariola, Zena M

Volltext öffnen

Bisimilarity in term graph rewriting von Ariola, Zena M.

Equational term graph rewriting von Ariola, Zena M., Klop, Jan Willem 1945-

Equational term graph rewriting von Ariola, Zena M.

5th International Conference on Formal Structures for Computation and Deduction FSCD 2020, June 29–July 6, 2020, Paris, France (Virtual Conference)

Weitere Verfasser: “… Ariola, Zena M. …”
Volltext öffnen