THE THEORY OF AN ARBITRARY HIGHER λ-MODEL

• Published in: Bulletin of the Section of Logic Vol. 52; no. 1; pp. 39 - 58
• Main Authors: Martinez-Rivillas, Daniel O, de Queiroz, Ruy J G B
• Format: Journal Article
• Language: English
• Published: Warsaw University of Łódź 01.01.2023

One takes advantage of some basic properties of every homotopic А-model (e.g. extensional Kan complex) to explore the higher вп-conversions, which would correspond to proofs of equality between terms of a theory of equality of any extensional Kan complex. Besides, Identity types based on computation...