- 3rd
- 09:06 am
Lambda Calculus Synopsis
Tags:
- 4th
- 01:44 pm
"Interaction Nets" по-русски
Tags:
- 7th
- 11:36 am
Five Stages of Accepting Constructive Mathematics
- 9th
- 08:25 am
Draft Russian Translation: Interaction-Based Models of Computation
Tags:
10:15 amη-редукция в сетях взаимодействия
Tags:
08:00 pmBisimilarity vs. Observational Equivalence
Tags:
- 10th
- 07:29 pm
Нестандартные комбинаторы неподвижной точки
Tags:
- 17th
- 12:53 am
Irreversibility and heat generation in the computing process
Tags:
- 24th
- 08:44 am
Time Travel in Primer
Tags:
- 25th
- 01:45 pm
Bitcoin Proof of Work in Command Line
Tags: