https://www.imosver.com/pt/libros/extensional-constructs-in-intensional-type-theory-00107113130010711313Extensional Constructs in Intensional Type Theory138.31https://static.serlogal.com/imagenes_small/9781447/978144711243.jpgLibrosSin stock temporalmenteSPRINGER000https://static.serlogal.com/imagenes_small/9781447/978144711243.jpg145.5957.282011/09/229781447112433HOFMANN, MARTINLibrosaño_2011idioma_InglêsIautor_HOFMANN, MARTINsaga_Distinguished Dissertations
Artículo
Extensional Constructs in
HOFMANN MARTIN
SPRINGER
Aviso de Cookies
Utilizamos cookies para garantir a melhor experiência em nosso site.
Ler política de cookies.
Gestionar preferencias de cookies
Este tipo de cookies permitem ao usuário a navegação através de uma página web, plataforma ou aplicação e a utilização das diferentes opções ou serviços que nela existam.
imosverlaravel_session
Descrição
Este cookie é necessário para o funcionamento do site e não pode ser desativado em nossos sistemas.
Duração
Sesión
Dependências
Domínio
imosver.com
OCT8NE
Descrição
Este cookie é utilizado para o correto funcionamento do Chat da Oct8ne para prestar o serviço de atendimento ao cliente ao usuário.
São aquelas que possibilitam o acompanhamento e análise do comportamento dos usuários em nossa página. A informação recolhida é utilizada para a medição da atividade dos usuários na web e a elaboração de perfis de navegação dos usuários.
_clsk
Descrição
Regista dados estatísticos do comportamento do visitante no site. Isto é utilizado para análises internas pelo operador do website.
Duração
1 ano
Dependências
_clsk,MUID,_clck
Domínio
logglytrackingsession
Descrição
Identifica e regista a sessão do usuário para fins analíticos.
Duração
Sesión
Dependências
Domínio
.imosver.com
GOOGLE_ANALYTICS
Descrição
Regista um identificador único que é utilizado para gerar dados estatísticos sobre como o visitante utiliza o sítio web.
Duração
1 ano
Dependências
Domínio
.imosver.com
São aquelas que nos permitem adaptar a navegação em nosso site às suas preferências (ex.: idioma, navegador utilizado, etc.).
_fbp
Descrição
Utilizado pelo Facebook para oferecer uma série de produtos publicitários, como ofertas em tempo real de anunciantes terceiros.
