skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Solvability = Typability + Inhabitation
Solvability = Typability + Inhabitation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Solvability = Typability + Inhabitation

Antonio Bucciarelli ; Delia Kesner ; Simona Ronchi Della Rocca

Logical methods in computer science, 2021-01, Vol.17, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
2
Inhabitation for Non-idempotent Intersection Types
Inhabitation for Non-idempotent Intersection Types
Material Type:
Artigo 		Adicionar ao Meu Espaço

Inhabitation for Non-idempotent Intersection Types

Antonio Bucciarelli ; Delia Kesner ; Simona Ronchi Della Rocca

Logical methods in computer science, 2018-08, Vol.14, Issue 3 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
3
An algebraic theory of clones
An algebraic theory of clones
Material Type:
Artigo 		Adicionar ao Meu Espaço

An algebraic theory of clones

Bucciarelli, Antonio ; Salibra, Antonino

Algebra universalis, 2022-05, Vol.83 (2), Article 14 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
4
The bang calculus revisited
The bang calculus revisited
Material Type:
Artigo 		Adicionar ao Meu Espaço

The bang calculus revisited

Bucciarelli, Antonio ; Kesner, Delia ; Ríos, Alejandro ; Viso, Andrés

Information and computation, 2023-08, Vol.293, p.105047, Article 105047 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
5
Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion
Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion
Material Type:
Artigo 		Adicionar ao Meu Espaço

Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion

Ehrhard, Thomas ; Bucciarelli, Antonio ; Carraro, Alberto ; Manzonetto, Giulio

Logical methods in computer science, 2012-10, Vol.8, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
6
Non-idempotent intersection types for the Lambda-Calculus
Non-idempotent intersection types for the Lambda-Calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

Non-idempotent intersection types for the Lambda-Calculus

Bucciarelli, Antonio ; Kesner, Delia ; Ventura, Daniel

Logic journal of the IGPL, 2017-08, Vol.25 (4), p.431-464 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
7
Minimal lambda-theories by ultraproducts
Minimal lambda-theories by ultraproducts
Material Type:
Artigo 		Adicionar ao Meu Espaço

Minimal lambda-theories by ultraproducts

Bucciarelli, Antonio ; Carraro, Alberto ; Salibra, Antonino

Electronic proceedings in theoretical computer science, 2013-03, Vol.113 (Proc. LSFA 2012), p.61-76

Open Publishing Association

Texto completo disponível

Citações Citado por
8
On phase semantics and denotational semantics: the exponentials
On phase semantics and denotational semantics: the exponentials
Material Type:
Artigo 		Adicionar ao Meu Espaço

On phase semantics and denotational semantics: the exponentials

Bucciarelli, Antonio ; Ehrhard, Thomas

Annals of pure and applied logic, 2001-05, Vol.109 (3), p.205-241 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
9
A relational semantics for parallelism and non-determinism in a functional setting
A relational semantics for parallelism and non-determinism in a functional setting
Material Type:
Artigo 		Adicionar ao Meu Espaço

A relational semantics for parallelism and non-determinism in a functional setting

Bucciarelli, Antonio ; Ehrhard, Thomas ; Manzonetto, Giulio

Annals of pure and applied logic, 2012-07, Vol.163 (7), p.918-934 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
10
The Bang Calculus Revisited
The Bang Calculus Revisited
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

The Bang Calculus Revisited

Bucciarelli, Antonio ; Kesner, Delia ; Ríos, Alejandro ; Viso, Andrés Nakano, Keisuke ; Sagonas, Konstantinos

Functional and Logic Programming, p.13-32 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (150)
  2. Revistas revisadas por pares (145)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (160)
  2. Anais de Congresso  (25)
  3. Book Chapters  (13)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1995  (16)
  2. 1995Até2001  (17)
  3. 2002Até2008  (29)
  4. 2009Até2016  (51)
  5. Após 2016  (84)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.