8 July 2023
- 16:3516:35, 8 July 2023 diff hist +196 Pipe-calculus →Normal forms current
- 16:2616:26, 8 July 2023 diff hist +17 Pipe-calculus →Normal forms
- 16:1916:19, 8 July 2023 diff hist +66 Pipe-calculus →Normal forms
25 June 2023
- 08:0708:07, 25 June 2023 diff hist 0 Pipe-calculus →Pipe-calculus as a process calculus
- 08:0708:07, 25 June 2023 diff hist +26 Pipe-calculus No edit summary
- 08:0208:02, 25 June 2023 diff hist +5 Pipe-calculus No edit summary
24 June 2023
- 21:2821:28, 24 June 2023 diff hist +12 Pipe-calculus →An example
- 20:2320:23, 24 June 2023 diff hist −11 Pipe-calculus →An example
- 20:1620:16, 24 June 2023 diff hist +58 Pipe-calculus →Prefixes
- 20:0820:08, 24 June 2023 diff hist −24 Pipe-calculus →Terms
- 19:5919:59, 24 June 2023 diff hist +170 Pipe-calculus No edit summary
28 May 2023
- 17:0717:07, 28 May 2023 diff hist −77 Pipe-calculus →Normal forms
- 14:4714:47, 28 May 2023 diff hist +70 Pipe-calculus →Pipe and Unix pipelines
25 May 2023
- 22:0622:06, 25 May 2023 diff hist +379 Work-in-progress →Encoding lambda calculus in pipe-calculus current
- 21:3821:38, 25 May 2023 diff hist +6 Work-in-progress No edit summary
- 21:3721:37, 25 May 2023 diff hist +103 Work-in-progress →Encoding lambda calculus in pipe-calculus
- 21:1621:16, 25 May 2023 diff hist +1,926 N Work-in-progress Created page with "This page is temporary home of immature content. == Pipe-calculus and Lambda calculus == === Encoding lambda calculus in pipe-calculus === Lambda calculus is probably the most popular and well researched model of computation. It is an inevitable reference point for any calculus with computational capabilities. One of the most interesting questions is whether (and how) lambda calculus can be encoded into another calculus. Success of this task proves Turing-completeness..."
- 13:0013:00, 25 May 2023 diff hist −11 Pipe-calculus →Analogies Tags: Mobile edit Mobile web edit
- 07:4407:44, 25 May 2023 diff hist −68 Pipe-calculus →Terms
- 07:4107:41, 25 May 2023 diff hist 0 m Pipe-calculus →Exclusive choice
- 07:4107:41, 25 May 2023 diff hist −18 Pipe-calculus →Exclusive choice
- 07:3507:35, 25 May 2023 diff hist +288 Pipe-calculus →Pipe and Unix pipelines
- 07:2307:23, 25 May 2023 diff hist −16 Pipe-calculus →Prefixes
- 07:1907:19, 25 May 2023 diff hist 0 Pipe-calculus →Terms
- 07:1807:18, 25 May 2023 diff hist −22 Pipe-calculus →Motivation
- 07:1507:15, 25 May 2023 diff hist −21 Pipe-calculus →Variants and computational power
- 07:0707:07, 25 May 2023 diff hist +4 Pipe-calculus →Pipe-calculus and process calculus
- 07:0607:06, 25 May 2023 diff hist +7 Pipe-calculus →Recognition and interpretation
- 07:0507:05, 25 May 2023 diff hist 0 Pipe-calculus →Rules
24 May 2023
- 23:5923:59, 24 May 2023 diff hist +62 Pipe-calculus →Prefixes
- 23:5023:50, 24 May 2023 diff hist +36 Pipe-calculus →Extensions
- 23:4023:40, 24 May 2023 diff hist +222 Pipe-calculus →Pipe-calculus and process calculus
- 23:1023:10, 24 May 2023 diff hist +3 Pipe-calculus →Equational theory
- 23:0923:09, 24 May 2023 diff hist +4 Pipe-calculus →Rules
- 23:0823:08, 24 May 2023 diff hist +8 Pipe-calculus →Terms
- 23:0723:07, 24 May 2023 diff hist +6 Pipe-calculus →An example
- 22:5622:56, 24 May 2023 diff hist −4 Pipe-calculus →Analogies
- 22:5222:52, 24 May 2023 diff hist +67 Pipe-calculus →Exclusive choice
- 22:3122:31, 24 May 2023 diff hist −18 Pipe-calculus →Pipeline
- 22:2922:29, 24 May 2023 diff hist +113 Pipe-calculus →Prefixes
- 22:2322:23, 24 May 2023 diff hist +122 Pipe-calculus →Exclusive choice
- 21:1921:19, 24 May 2023 diff hist −2 Pipe-calculus →Rules
- 21:1521:15, 24 May 2023 diff hist +159 Pipe-calculus →Rules
- 21:0221:02, 24 May 2023 diff hist +1,313 Pipe-calculus →Choice
- 19:5719:57, 24 May 2023 diff hist +2 Pipe-calculus →Connection with process calculus
- 19:5519:55, 24 May 2023 diff hist 0 m Pipe-calculus →Formal Definition
- 19:5319:53, 24 May 2023 diff hist +20 Pipe-calculus →Rules
- 19:4419:44, 24 May 2023 diff hist +397 Pipe-calculus →Prefixes
- 19:1519:15, 24 May 2023 diff hist +5 Pipe-calculus →Equational theory
- 19:0919:09, 24 May 2023 diff hist −53 Pipe-calculus →Pipeline