×
Edit Profile (opens in new tab)

Allais, Guillaume

Co-Author Distance
Author ID: allais.guillaume Recent zbMATH articles by "Allais, Guillaume"
Published as: Allais, Guillaume
Documents Indexed: 6 Publications since 2012
Co-Authors: 13 Co-Authors with 4 Joint Publications
248 Co-Co-Authors
all top 5

Co-Authors

2 single-authored
1 Abel, Andreas M.
1 Atkey, Robert
1 Bertot, Yves
1 Chapman, James T. E.
1 Hameer, Aliya
1 McBride, Conor Thomas
1 McKinna, James
1 Momigliano, Alberto
1 Nagele, Julian
1 Pientka, Brigitte
1 Schäfer, Steven
1 Stark, Kathrin
1 Thiemann, René

Serials

2 Journal of Functional Programming
1 Journal of Formalized Reasoning

Fields

5 Computer science (68-XX)
2 Mathematical logic and foundations (03-XX)
1 Number theory (11-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

5 Publications have been cited 32 times in 24 Documents Cited by ▼ Year ▼
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs. Zbl 1522.68118
Allais, Guillaume; Atkey, Robert; Chapman, James; McBride, Conor; McKinna, James
13
2021
POPLMark reloaded: mechanizing proofs by logical relations. Zbl 1442.68257
Abel, Andreas; Allais, Guillaume; Hameer, Aliya; Pientka, Brigitte; Momigliano, Alberto; Schäfer, Steven; Stark, Kathrin
9
2019
On the formalization of termination techniques based on multiset orderings. Zbl 1437.68088
Thiemann, René; Allais, Guillaume; Nagele, Julian
5
2012
Typing with leftovers – a mechanization of intuitionistic multiplicative-additive linear logic. Zbl 1528.03242
Allais, Guillaume
4
2018
Views of pi: definition and computation. Zbl 1451.68316
Bertot, Yves; Allais, Guillaume
1
2014
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs. Zbl 1522.68118
Allais, Guillaume; Atkey, Robert; Chapman, James; McBride, Conor; McKinna, James
13
2021
POPLMark reloaded: mechanizing proofs by logical relations. Zbl 1442.68257
Abel, Andreas; Allais, Guillaume; Hameer, Aliya; Pientka, Brigitte; Momigliano, Alberto; Schäfer, Steven; Stark, Kathrin
9
2019
Typing with leftovers – a mechanization of intuitionistic multiplicative-additive linear logic. Zbl 1528.03242
Allais, Guillaume
4
2018
Views of pi: definition and computation. Zbl 1451.68316
Bertot, Yves; Allais, Guillaume
1
2014
On the formalization of termination techniques based on multiset orderings. Zbl 1437.68088
Thiemann, René; Allais, Guillaume; Nagele, Julian
5
2012
all cited Publications top 5 cited Publications
all top 5

Cited by 49 Authors

3 Yamada, Akihisa
2 Allais, Guillaume
2 Atkey, Robert
2 Iborra, José
2 Nishida, Naoki
2 Orchard, Dominic A.
2 Pientka, Brigitte
2 Szasz, Nora
2 Tasistro, Alvaro
2 Urciuoli, Sebastián
2 Vidal, Germán
1 Abel, Andreas M.
1 Al Wardani, Farah
1 Bertot, Yves
1 Blanchette, Jasmin Christian
1 Chapman, James T. E.
1 Chaudhuri, Kaustuv
1 Copello, Ernesto
1 Dardha, Ornela
1 Eades, Harley III
1 Errington, Jacob
1 Fiore, Marcelo P.
1 Fleury, Mathias
1 Gheri, Lorenzo
1 Hameer, Aliya
1 Hirokawa, Nao
1 Hirschowitz, André
1 Hirschowitz, Tom
1 Jang, Junyoung
1 Lafont, Ambroise
1 Maggesi, Marco
1 McBride, Conor Thomas
1 McKinna, James
1 Middeldorp, Aart
1 Miller, Dale Allen
1 Momigliano, Alberto
1 Moon, Benjamin
1 Rideau, Laurence
1 Saffrich, Hannes
1 Schäfer, Steven
1 Stark, Kathrin
1 Sternagel, Christian
1 Swierstra, Wouter
1 Théry, Laurent
1 Thiemann, Peter J.
1 Thiemann, René
1 Traytel, Dmitry
1 Winkler, Sarah
1 Zalakain, Uma

Cited in 5 Serials

4 Journal of Automated Reasoning
3 Journal of Functional Programming
2 Mathematical Structures in Computer Science
1 Theory and Practice of Logic Programming
1 Logical Methods in Computer Science
all top 5

Cited in 6 Fields

21 Computer science (68-XX)
8 Mathematical logic and foundations (03-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Number theory (11-XX)
1 Category theory; homological algebra (18-XX)
1 Numerical analysis (65-XX)

Citations by Year