Towards a homotopy domain theory Documento

• http://dx.doi.org/10.1007/s0053-022-00856-0
• https://doi..org/10.1007/s00153-022-00856-0

•  
• 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

• 2022-01-01

publicada em

• ARCHIVE FOR MATHEMATICAL LOGIC (PRINT) 

Pesquisas

áreas de investigação

• Lógica Matemática
• Teoria da Computação

palavras-chave

• domain theory
• homotopy type theory
• infinity-groupoid

Identidade

identificador BrCris

• d2edf8835cd3ec9216c672332a782fcb

Informação adicional documento

série

• 1

Página Inicial

• 559

página final

• 579

Volume

• 62

Outro

tem linguagem

• Inglês