skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Special issue Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). [Editorial]
Special issue Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). [Editorial]
Material Type:
Artigo 		Adicionar ao Meu Espaço

Special issue Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). [Editorial]

Marcelo Finger Delia Kesner

Theoretical Computer Science Amsterdam v. 606, p.1, nov. 2015)

Amsterdam 2015

Localização: IME - Inst. Matemática e Estatística    (PROD-2860800 )(Acessar)

2
Reasoning About Call-by-need by Means of Types
Reasoning About Call-by-need by Means of Types
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Reasoning About Call-by-need by Means of Types

Kesner, Delia Löding, Christof ; Jacobs, Bart

Foundations of Software Science and Computation Structures, p.424-441 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
Node Replication: Theory And Practice
Node Replication: Theory And Practice
Material Type:
Artigo 		Adicionar ao Meu Espaço

Node Replication: Theory And Practice

Kesner, Delia ; Peyrot, Loïc ; Ventura, Daniel

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

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
4
Non-idempotent types for classical calculi in natural deduction style
Non-idempotent types for classical calculi in natural deduction style
Material Type:
Artigo 		Adicionar ao Meu Espaço

Non-idempotent types for classical calculi in natural deduction style

Delia Kesner ; Pierre Vial

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

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
5
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
6
A Theory of Explicit Substitutions with Safe and Full Composition
A Theory of Explicit Substitutions with Safe and Full Composition
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Theory of Explicit Substitutions with Safe and Full Composition

Kesner, Delia

Logical methods in computer science, 2009-01, Vol.5, Issue 3 (3:1) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
7
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
8
A Computational Interpretation of Girard's Intuitionistic Proof-Nets: Invited Presentation at the Twelfth International Workshop on Computing with Terms and Graphs
A Computational Interpretation of Girard's Intuitionistic Proof-Nets: Invited Presentation at the Twelfth International Workshop on Computing with Terms and Graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Computational Interpretation of Girard's Intuitionistic Proof-Nets: Invited Presentation at the Twelfth International Workshop on Computing with Terms and Graphs

Kesner, Delia

Electronic proceedings in theoretical computer science, 2023-04, Vol.377, p.5-5

Texto completo disponível

Citações Citado por
9
A fine-grained computational interpretation of Girard’s intuitionistic proof-nets
A fine-grained computational interpretation of Girard’s intuitionistic proof-nets
Material Type:
Artigo 		Adicionar ao Meu Espaço

A fine-grained computational interpretation of Girard’s intuitionistic proof-nets

Kesner, Delia

Proceedings of ACM on programming languages, 2022-01, Vol.6 (POPL), p.1-28 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por
10
Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus
Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus

Accattoli, Beniamino ; Kesner, Delia

Logical methods in computer science, 2012-01, Vol.8, Issue 1 (1) [Periódico revisado por pares]

Logical Methods in Computer Science Association

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.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (66)
  2. Book Chapters  (12)
  3. Anais de Congresso  (11)
  4. Mais opções open sub menu

Autor/Criador 

  1. Finger, M  (1)
  2. Kesner, D  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1999  (9)
  2. 1999Até2004  (10)
  3. 2005Até2011  (17)
  4. 2012Até2017  (18)
  5. Após 2017  (35)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Finger, M
  2. Kesner, D

Neste Assunto:

  1. Computer Science
  2. Science & Technology
  3. Technology
  4. Computer Science - Logic In Computer Science
  5. Computer Science, Theory & Methods

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

Buscando em bases de dados remotas. Favor aguardar.