Work

Lambda Calculus And Homotopy Type Theory: Bridging The Gap Between Computation and Topology

Year: 2026

Type: article

Abstract: This paper examines a formal connection between Lambda Calculus, the classical syntactic model of computation, and Homotopy Type Theory (HoTT), where types are viewed as spaces and equalities as paths.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.21390548

Authors: Sakala, Yolam, Chunda, Mulindwa

Institution: Mukuba University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7169551053

FWCI:

Cites:

Cited by:

Related to: