skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Theoretical Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
When privacy fails, a formula describes an attack: A complete and compositional verification method for the applied π-calculus
When privacy fails, a formula describes an attack: A complete and compositional verification method for the applied π-calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

When privacy fails, a formula describes an attack: A complete and compositional verification method for the applied π-calculus

Horne, Ross ; Mauw, Sjouke ; Yurkov, Semen

Theoretical computer science, 2023-05, Vol.959, p.113842, Article 113842 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
2
Radical theory of Scott-open filters
Radical theory of Scott-open filters
Material Type:
Artigo 		Adicionar ao Meu Espaço

Radical theory of Scott-open filters

Misselbeck-Wessel, Daniel ; Schuster, Peter

Theoretical computer science, 2023-02, Vol.945, p.113677, Article 113677 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
3
On the largest Cartesian closed category of stable domains
On the largest Cartesian closed category of stable domains
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the largest Cartesian closed category of stable domains

Xi, Xiaoyong ; He, Qingyu ; Yang, Lingyun

Theoretical computer science, 2017-03, Vol.669, p.22-32 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
4
Termination of rewrite relations on λ-terms based on Girard's notion of reducibility
Termination of rewrite relations on λ-terms based on Girard's notion of reducibility
Material Type:
Artigo 		Adicionar ao Meu Espaço

Termination of rewrite relations on λ-terms based on Girard's notion of reducibility

Blanqui, Frédéric

Theoretical computer science, 2016-01, Vol.611 (50-86), p.50-86 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
5
Revisiting the categorical interpretation of dependent type theory
Revisiting the categorical interpretation of dependent type theory
Material Type:
Artigo 		Adicionar ao Meu Espaço

Revisiting the categorical interpretation of dependent type theory

Curien, Pierre-Louis ; Garner, Richard ; Hofmann, Martin

Theoretical computer science, 2014-08, Vol.546, p.99-119 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
6
Elements of a theory of algebraic theories
Elements of a theory of algebraic theories
Material Type:
Artigo 		Adicionar ao Meu Espaço

Elements of a theory of algebraic theories

Hyland, J.M.E.

Theoretical computer science, 2014-08, Vol.546, p.132-144 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
7
Semantic Types and Approximation for Featherweight Java
Semantic Types and Approximation for Featherweight Java
Material Type:
Artigo 		Adicionar ao Meu Espaço

Semantic Types and Approximation for Featherweight Java

Rowe, Reuben N.S. ; van Bakel, S.J.

Theoretical computer science, 2014-01, Vol.517, p.34-74 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
8
An observationally complete program logic for imperative higher-order functions
An observationally complete program logic for imperative higher-order functions
Material Type:
Artigo 		Adicionar ao Meu Espaço

An observationally complete program logic for imperative higher-order functions

Honda, Kohei ; Yoshida, Nobuko ; Berger, Martin

Theoretical computer science, 2014-01, Vol.517, p.75-101 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
9
PNL to HOL: From the logic of nominal sets to the logic of higher-order functions
PNL to HOL: From the logic of nominal sets to the logic of higher-order functions
Material Type:
Artigo 		Adicionar ao Meu Espaço

PNL to HOL: From the logic of nominal sets to the logic of higher-order functions

Dowek, Gilles ; Gabbay, Murdoch J.

Theoretical computer science, 2012-09, Vol.451, p.38-69 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
10
Böhm theorem and Böhm trees for the Λμ-calculus
Böhm theorem and Böhm trees for the Λμ-calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

Böhm theorem and Böhm trees for the Λμ-calculus

Saurin, Alexis

Theoretical computer science, 2012-06, Vol.435, p.106-138 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.