Pipe-calculus: Difference between revisions

Pipe-calculus is a universal model of computation that is closely related to [[wikipedia:process_calculus|process calculus]], [[wikipedia:lambda_calculus|lambda calculus]] and formal language theory. It is sufficiently expressive to be used as a programming language on its own. With added [[Syntax_sugar_(Pipe-calculus)|syntax sugar]] it can be the basis of dynamically or statically [[ideas_for_a_type_system|typed]] high level programming languages.