<p>I'm looking for a list of calculi suitable for generic computation such as Lambda calculus, Pi calculus, and event calculus. What else do we have? Thank you.</p>

CC BY-SA 4.0
2023-01-27T10:20:32.440Z
What is "generic" here?
Emil Jeřábek
CC BY-SA 4.0
2023-01-27T11:52:45.780Z
Indeed! And what counts as a calculus?
Martin Berger
CC BY-SA 4.0
2023-01-29T12:12:10.930Z
Dears, I am merely exploring the area here so excuse my impreciseness. By generic, I mean suitable for representing and reasoning about most of common programming languages, regardless of details as I will take this list and educate myself further. If I knew what counts as calculus, I would have included it in my question, and that is why I mentioned a few examples of my fuzzy notion of calculus. Now could you please help me?
geeko
CC BY-SA 4.0
2023-01-29T19:55:54.113Z
In the last 100 or so years, we have learned that essentially all formalism / calculi / programming languages are equivalent, in that they can represent the same computation. This is also called the [Church-Turing thesis](https://en.wikipedia.org/wiki/Church%E2%80%93Turing_thesis). So unless you put additional constraints on what you want from such a calculus, just about anything, in particular any programming language fits the bill. Your question might be more suitable for [cs.stackexchange.com](http://cs.stackexchange.com/).
Martin Berger
<universal-computation><calculus-of-constructions>
List of calculi suitable for generic computation
geeko
# List of calculi suitable for generic computation

(Asked by: username_0 on 2023-01-27)

I'm looking for a list of calculi suitable for generic computation such as Lambda calculus, Pi calculus, and event calculus. What else do we have? Thank you.

**Tags:** universal-computation, calculus-of-constructions
> **Comments:**
> **username_1**: What is "generic" here?  
> **username_2**: Indeed! And what counts as a calculus?  
> **username_0**: Dears, I am merely exploring the area here so excuse my impreciseness. By generic, I mean suitable for representing and reasoning about most of common programming languages, regardless of details as I will take this list and educate myself further. If I knew what counts as calculus, I would have included it in my question, and that is why I mentioned a few examples of my fuzzy notion of calculus. Now could you please help me?  
> **username_2**: In the last 100 or so years, we have learned that essentially all formalism / calculi / programming languages are equivalent, in that they can represent the same computation. This is also called the [Church-Turing thesis](https://en.wikipedia.org/wiki/Church%E2%80%93Turing_thesis). So unless you put additional constraints on what you want from such a calculus, just about anything, in particular any programming language fits the bill. Your question might be more suitable for [cs.stackexchange.com](http://cs.stackexchange.com/).  

---

## 0 answers

