6 May 2023
- 11:4311:43, 6 May 2023 diff hist +4 Pipe-calculus →Equational theory
- 11:4211:42, 6 May 2023 diff hist +138 Pipe-calculus →Equational theory
- 11:3911:39, 6 May 2023 diff hist −18 Pipe-calculus →Equational theory
- 11:3711:37, 6 May 2023 diff hist +532 Pipe-calculus →Equational theory
- 10:3110:31, 6 May 2023 diff hist −208 Pipe-calculus →Connection with process calculus
21 March 2023
- 19:3319:33, 21 March 2023 diff hist +28 Pipe-calculus →Connection to other fields
- 19:2419:24, 21 March 2023 diff hist +259 Pipe-calculus →Connection to other fields
- 18:3518:35, 21 March 2023 diff hist +13 Pipe-calculus →Connection to other fields
18 March 2023
- 11:3611:36, 18 March 2023 diff hist −14 Pipe-calculus →Syntax
16 March 2023
15 March 2023
- 10:5410:54, 15 March 2023 diff hist +247 Pipe-calculus No edit summary
- 10:4310:43, 15 March 2023 diff hist −12 Ideas for a type system No edit summary
- 10:3910:39, 15 March 2023 diff hist +13 Ideas for a type system →Nondeterministic analogy
- 10:3810:38, 15 March 2023 diff hist +36 Ideas for a type system →Linguistic analogy
- 10:3410:34, 15 March 2023 diff hist +442 Ideas for a type system →Linguistic analogy
- 09:1709:17, 15 March 2023 diff hist −18 Ideas for a type system →Dynamic vs. static typing
- 09:1209:12, 15 March 2023 diff hist +151 Ideas for a type system →Linguistic analogy
14 March 2023
- 23:0923:09, 14 March 2023 diff hist +30 Ideas for a type system No edit summary
- 22:4622:46, 14 March 2023 diff hist +10 Ideas for a type system →Linguistic analogy
- 22:4322:43, 14 March 2023 diff hist +12 Ideas for a type system →Linguistic analogy
- 22:3922:39, 14 March 2023 diff hist +1,659 Ideas for a type system →Useful analogies
- 21:3921:39, 14 March 2023 diff hist −17 Ideas for a type system →Dynamic vs. static typing
- 21:3221:32, 14 March 2023 diff hist +2,377 N Ideas for a type system Created page with "Pipe-calculus is a typeless core calculus, but a language based on it doesn't have to be. There are a few preliminary thoughts that guide the search for a suitable type system. * Types are not added directly to the core calculus but to the surface language. * The type system should naturally fit to the calculus (this is a subtle guideline that is elaborated below). * The type checking algorithm must be easy to implement in the typeless core language. The last point..."
4 March 2023
- 12:1112:11, 4 March 2023 diff hist 0 Pipe-calculus →Zero-order calculus
- 12:0612:06, 4 March 2023 diff hist −3 Pipe-calculus →Connection with process calculus
3 March 2023
- 07:4307:43, 3 March 2023 diff hist −114 Pipe-calculus →Syntax
- 07:3907:39, 3 March 2023 diff hist −23 m Pipe-calculus →Connection to other fields
- 07:3307:33, 3 March 2023 diff hist −4 Pipe-calculus →Syntax
2 March 2023
- 04:0104:01, 2 March 2023 diff hist −10 Pipe-calculus →Connection with process calculus
- 03:4703:47, 2 March 2023 diff hist −23 Pipe-calculus →Connections with other fields
- 03:4403:44, 2 March 2023 diff hist −19 Pipe-calculus →Process calculus
- 03:3903:39, 2 March 2023 diff hist −17 Pipe-calculus →Process calculus
- 03:3703:37, 2 March 2023 diff hist +20 Pipe-calculus →Process calculus
- 03:3203:32, 2 March 2023 diff hist +305 Pipe-calculus →Process calculus
1 March 2023
- 10:0010:00, 1 March 2023 diff hist +4 Pipe-calculus →Process calculus
- 09:5309:53, 1 March 2023 diff hist −22 Pipe-calculus →Process calculus
- 09:4709:47, 1 March 2023 diff hist +285 Pipe-calculus →Process calculus
- 09:1509:15, 1 March 2023 diff hist −3 Pipe-calculus →Variants and computational power
- 09:1009:10, 1 March 2023 diff hist +12 Pipe-calculus →Process calculus
- 09:0509:05, 1 March 2023 diff hist +29 Pipe-calculus →Process calculus
- 09:0009:00, 1 March 2023 diff hist −1 Pipe-calculus →Process calculus
- 08:5908:59, 1 March 2023 diff hist +28 Pipe-calculus →Process calculus
- 08:5008:50, 1 March 2023 diff hist +3,160 Pipe-calculus →Notes
- 06:5106:51, 1 March 2023 diff hist −9 Pipe-calculus →Syntax
28 February 2023
- 23:1223:12, 28 February 2023 diff hist −29 Pipe-calculus →Overview
- 23:0723:07, 28 February 2023 diff hist −17 Pipe-calculus No edit summary
- 21:5221:52, 28 February 2023 diff hist −1 Pipe-calculus →Variants and computational power
- 21:4421:44, 28 February 2023 diff hist −25 m Pipe-calculus →Motivation
6 February 2023
- 09:0809:08, 6 February 2023 diff hist −4 Pipe-calculus →Syntax
- 08:5808:58, 6 February 2023 diff hist +183 Pipe-calculus →Connection to other fields