Can I read Linking Interaction Nets and PCS on EtoBox?

Linking Interaction Nets and PCS by nenekotan is a document available to read on EtoBox.

What is Linking Interaction Nets and PCS about?

This paper explores the relationships between Post canonical systems, Post normal systems, tag systems, and interaction nets. It provides an emulation of 2-tag systems in interaction nets by transforming any 2-tag system into an equivalent interaction net. Finally, it outlines a possible proof for reducing interaction nets to another model of computation.

Author

nenekotan

Language

EN