Login / Signup

The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter.

Koko MuroyaDan R. Ghica
Published in: Log. Methods Comput. Sci. (2019)
Keyphrases