Encoding the Factorisation Calculus
-
Published:2015-08-26
Issue:
Volume:190
Page:76-90
-
ISSN:2075-2180
-
Container-title:Electronic Proceedings in Theoretical Computer Science
-
language:en
-
Short-container-title:Electron. Proc. Theor. Comput. Sci.
Publisher
Open Publishing Association