https://github.com/objectionary/calculus-paper
The Original Paper on the EO Programming Language and the Underlying 𝜑-Calculus
https://github.com/objectionary/calculus-paper
eolang latex oop oop-principles research-paper
Last synced: about 2 months ago
JSON representation
The Original Paper on the EO Programming Language and the Underlying 𝜑-Calculus
- Host: GitHub
- URL: https://github.com/objectionary/calculus-paper
- Owner: objectionary
- License: mit
- Created: 2024-04-09T15:44:53.000Z (about 2 years ago)
- Default Branch: master
- Last Pushed: 2026-02-27T16:55:26.000Z (2 months ago)
- Last Synced: 2026-02-27T21:28:35.812Z (2 months ago)
- Topics: eolang, latex, oop, oop-principles, research-paper
- Language: TeX
- Homepage: https://arxiv.org/abs/2111.13384
- Size: 569 KB
- Stars: 7
- Watchers: 0
- Forks: 1
- Open Issues: 4
-
Metadata Files:
- Readme: README.md
- License: LICENSE.txt
Awesome Lists containing this project
README
# Paper About φ-Calculus
[](https://arxiv.org/abs/2111.13384)
[](https://github.com/objectionary/eolang-paper/actions/workflows/latexmk.yml)
This is the first paper about 𝜑-calculus.
The reference interpreter is [phino].
To build it, just run:
```bash
make
```
You need to have [LaTeX], [GNU Aspell], [jq], [texsc], and [texqc] installed.
You may also want to check whether your LaTeX installation has
all the packages required in the `DEPENDS.txt` file.
If you miss any of them, install, for example, with the help of [tlmgr].
Once compiled and packaged, upload zip archive
to [arXiv](https://arxiv.org/abs/2111.13384).
[phino]: https://github.com/objectionary/phino
[LaTeX]: https://www.latex-project.org/get/
[GNU Aspell]: http://aspell.net/
[jq]: https://stedolan.github.io/jq/
[texsc]: https://rubygems.org/gems/texsc
[texqc]: https://rubygems.org/gems/texqc
[tlmgr]: https://tug.org/texlive/tlmgr.html