Work

Preface: Advances in Homotopy Type Theory

Year: 2024

Type: editorial

Abstract: We give a brief overview of the special issue of MSCS “Advances in Homotopy Type Theory.”

Source: Mathematical Structures in Computer Science

DOI: 10.1017/s0960129524000410

Authors: Thorsten Altenkirch, Benno van den Berg, Nicola Gambino, Maria Emilia Maietti

Institutions: University of Nottingham, University of Amsterdam, University of Manchester, University of Padua

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W4407374205

Cites:

Cited by:

Related to: 10