Bibliography

1

Hendrik Pieter Barendregt. The Lambda Calculus: Its Syntax and Semantics, volume 103. Elsevier, 1984.

2

Haskell Brooks Curry and Robert Feys. Combinatory Logic, volume 1. North-Holland Publishing Company, 1958.

3

George Cybenko. Approximation by superpositions of a sigmoidal function. Mathematics of Control, Signals, and Systems, 2(4):303–314, 1989.

4

Yoshihiko Futamura. Partial evaluation of computation process–an approach to a compiler-compiler. Systems, Computers, Controls, 2(5):45–50, 1971.

5

Kazimierz Kuratowski. Sur la notion de l’ordre dans la théorie des ensembles. Fundamenta Mathematicae, 2(1):161–171, 1921.

6

Yves Lafont. Interaction nets. Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 95–108, 1990.

7

F William Lawvere. Functorial semantics of algebraic theories. PhD thesis, Columbia University, 1963.

8

Lean Prover Community. doc-gen4: Documentation generator for lean 4. https://github.com/leanprover/doc-gen4, 2023.

9

Moshe Leshno, Vladimir Ya Lin, Allan Pinkus, and Shimon Schocken. Multilayer feedforward networks with a nonpolynomial activation function can approximate any function. Neural Networks, 6(6):861–867, 1993.

10

Victor Taelin. Hvm2: Higher-order virtual machine 2. https://github.com/HigherOrderCO/HVM2, 2024.