Page history
12 May 2023
→Notes
+105
→Alternatives
+64
→Alternatives
m+9
→Normal forms
+26
→Normal forms
+112
→Alternatives
+270
→Zero-order calculus
+437
→An informal example
−8
no edit summary
−236
11 May 2023
no edit summary
m−6
→Zero-order calculus
+5
→Zero-order calculus
→Zero-order calculus
+30
→Overview
−151
→Variants and computational power
−1
→Motivation
−1
→Motivation
−202
→Variants and computational power
+405
no edit summary
+228
no edit summary
+485
→Zero-order calculus
+56
9 May 2023
→Normal forms
+26
→Syntax
−97
no edit summary
+156
→Syntax
−851
→Questions to be answered
−245
→Normal forms
+40
→Normal forms
−177
→Equational theory
−115
→Syntax
−19
→Syntax
+117
→Zero-order calculus
−94
8 May 2023
→Zero-order calculus
+2,308
→Normal form
+1
→Syntax
+25
→Normal form
−3
→Normal form
+7
→Connection with process calculus
−72
→Connection to other fields
+26
→Equational theory
+170
→Connection with process calculus
+14
→Equational theory
+188
→Connection with process calculus
+17
→Equational theory
+71
→Equational theory
+18
→Equational theory
−32