The Theory of an Arbitrary Higher (lambda)-Model Documento

• http://dx.doi.org/10.18778/0138-0680.2023.11
• https://doi.org/10.18778/0138-0680.2023.11

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Informação adicional documento
•  
• Outro
•  
• Ver todos
•  

Visão geral

tipo

• journal article

autores

• Ruy José Guerra Barretto de Queiroz

data de publicação

• 2023-01-01

publicada em

• UNIVERSITY OF LODZ. DEPARTMENT OF LOGIC. BULLETIN OF THE SECTION OF LOGIC 

Pesquisas

áreas de investigação

• Teoria da Computação
• Teoria das Categorias

palavras-chave

• Complexo de Kan
• homotopic lambda model
• infinity-groupoid

Identidade

identificador BrCris

• 612bd36e8a5c052a72736b0223ee047d

Informação adicional documento

série

• 1

Página Inicial

• 1

página final

• 58

Volume

• 1

Outro

tem linguagem

• Inglês