Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
A modular construction of type theoriesBlanqui, Frédéric ; Dowek, Gilles ; Grienenberger, Emilie ; Hondet, Gabriel ; Thiré, FrançoisLogical methods in computer science, 2023-02, Vol.19, Issue 1 (1) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
|
2 |
Material Type: Artigo
|
Lineal: A linear-algebraic Lambda-calculusPablo Arrighi ; Gilles DowekLogical methods in computer science, 2017-01, Vol.13, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
|
3 |
Material Type: Artigo
|
A new connective in natural deduction, and its application to quantum computingDíaz-Caro, Alejandro ; Dowek, GillesTheoretical computer science, 2023-05, Vol.957, p.113840, Article 113840 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
4 |
Material Type: Artigo
|
Extensional proofs in a propositional logic modulo isomorphismsDíaz-Caro, Alejandro ; Dowek, GillesTheoretical computer science, 2023-10, Vol.977, p.114172, Article 114172 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
5 |
Material Type: Artigo
|
Lineal: A linear-algebraic lambda-calculusArrighi, Pablo ; Dowek, GillesLogical methods in computer science, 2013 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
|
6 |
Material Type: Artigo
|
A Simple Proof that Super-Consistency Implies Cut EliminationDowek, Gilles ; Hermant, OlivierNotre Dame journal of formal logic, 2012-01, Vol.53 (4), p.439-456 [Periódico revisado por pares]University of Notre DameTexto completo disponível |
|
7 |
Material Type: Artigo
|
PNL to HOL: From the logic of nominal sets to the logic of higher-order functionsDowek, Gilles ; Gabbay, Murdoch J.Theoretical computer science, 2012-09, Vol.451, p.38-69 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
8 |
Material Type: Artigo
|
Eigenvariables, bracketing and the decidability of positive minimal predicate logicDOWEK, Gilles ; YING JIANGTheoretical computer science, 2006-08, Vol.360 (1-3), p.193-208 [Periódico revisado por pares]Amsterdam: ElsevierTexto completo disponível |
|
9 |
Material Type: Artigo
|
On the expressive power of schemesDowek, Gilles ; Jiang, YingInformation and computation, 2011-09, Vol.209 (9), p.1231-1245 [Periódico revisado por pares]Amsterdam: Elsevier IncTexto completo disponível |
|
10 |
Material Type: Artigo
|
A formal library of set relations and its application to synchronous languagesRocha, Camilo ; Muñoz, César ; Dowek, GillesTheoretical computer science, 2011-08, Vol.412 (37), p.4853-4866 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |