Guillaume Allais

Available identifiers

zbMath Open allais.guillaumeMaRDI QIDQ5019017

List of research outcomes

Publication	Date of Publication	Type
Builtin types viewed as inductive families	2023-11-24	Paper
Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic	2023-11-03	Paper
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs	2021-12-27	Paper
On the Formalization of Termination Techniques based on Multiset Orderings	2020-05-27	Paper
POPLMark reloaded: Mechanizing proofs by logical relations	2020-05-26	Paper
Views of Pi: definition and computation	2019-09-18	Paper

Research outcomes over time

This page was built for person: Guillaume Allais