• Nenhum resultado encontrado

First steps in homotopy type theory

N/A
N/A
Protected

Academic year: 2021

Share "First steps in homotopy type theory"

Copied!
60
0
0

Texto

Referências

Documentos relacionados

Elas se configuram como um potencial instrumento de desenvolvimento econômico local alternativo à lógica financeira dominante, portanto, podem ser consideradas como

Foi possível concluir que: A permeabilidade média obtida para os painéis aglomerados foi de 5,62 cm³/cm*atm*s; ocorreu uma alta variação entre os valores de permeabilidade dos

Evidente que os estudos que apontam a mudança no perfil demográfico, os avanços nas áreas da saúde e social são bases seguras relativas às tendências de

Através desta prática político-cidadã articulada entre patrimônio e planejamento, a sociedade pode então estimular o seu sentido de pertencimento mais forte às expressões de

Ecologia da comunidade de metazoários parasitos do peixe-espada Trichiurus lepturus Linnaeus (Osteichthyes, Trichiuridae) do litoral do estado do Rio de Janeiro,

Figura 1: Esquema conceitual de uma bacia de drenagem...18 Figura 2: Representação esquemática do Ciclo Hidrológico...20 Figura 3: Mapa da área de estudo com a localização das

Porém sua dinâmica no solo quando se considera os gases de efeito estufa (GEEs) ainda é pouco conhecida, principalmente quando são considerados os métodos de

Data: 07 a 09 de setembro de 2007 Participantes: 12 associações orquidófilas Orquídeas expostas: 418.. Obtiveram pontuação: 57 orquidófilos Coordenador/CAOB: