The $\infty$-groupoid generated by an arbitrary topological $\lambda$-model

Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz

The lambda calculus is a universal programming language. It can represent the computable functions, and such offers a formal counterpart to the point of view of functions as rules.…