Follow
Stéphane Graham-Lengrand
Title
Cited by
Cited by
Year
Non-idempotent intersection types and strong normalisation
A Bernadet, SJ Lengrand
Logical Methods in Computer Science 9, 2013
772013
Resource operators for λ-calculus
D Kesner, S Lengrand
Information and Computation 205 (4), 419-473, 2007
732007
Intersection types for explicit substitutions
S Lengrand, P Lescanne, D Dougherty, M Dezani-Ciancaglini, ...
Information and Computation 189 (1), 17-42, 2004
712004
Call-by-value, call-by-name, and strong normalization for the classical sequent calculus
S Lengrand
Electronic Notes in Theoretical Computer Science 86 (4), 714-730, 2003
712003
The Language χ: Circuits, Computations and Classical Logic:
S Van Bakel, S Lengrand, P Lescanne
Theoretical Computer Science: 9th Italian Conference, ICTCS 2005, Siena …, 2005
622005
LJQ: a strongly focused calculus for intuitionistic logic
R Dyckhoff, S Lengrand
Logical Approaches to Computational Barriers: Second Conference on …, 2006
602006
Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types
A Bernadet, S Lengrand
Foundations of Software Science and Computational Structures: 14th …, 2011
462011
Tight typings and split bounds, fully developed
B Accattoli, S Graham-Lengrand, D Kesner
Journal of Functional Programming 30, e14, 2020
442020
Call-by-value λ-calculus and LJQ
R Dyckhoff, S Lengrand
Journal of Logic and Computation 17 (6), 1109-1134, 2007
442007
Tight typings and split bounds
B Accattoli, S Graham-Lengrand, D Kesner
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018
362018
Extending the explicit substitution paradigm
D Kesner, S Lengrand
International Conference on Rewriting Techniques and Applications, 407-422, 2005
362005
Satisfiability modulo theories and assignments
MP Bonacina, S Graham-Lengrand, N Shankar
Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017
332017
A focused sequent calculus framework for proof search in Pure Type Systems
SJE Lengrand, R Dyckhoff, J McKinna
Logical Methods in Computer Science 7, 2011
272011
Normalisation & Equivalence in Proof Theory & Type Theory
SJE Lengrand
University of St Andrews, 2006
242006
Psyche: A Proof-Search Engine Based on Sequent Calculus with an LCF-Style Architecture
S Graham-Lengrand
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd …, 2013
222013
Classical Fω, orthogonality and symmetric candidates
S Lengrand, A Miquel
Annals of pure and applied logic 153 (1-3), 3-20, 2008
212008
Conflict-driven satisfiability for theory combination: transition system and completeness
MP Bonacina, S Graham-Lengrand, N Shankar
Journal of Automated Reasoning 64 (3), 579-609, 2020
202020
The λ-context calculus
MJ Gabbay, S Lengrand
Electronic Notes in Theoretical Computer Science 196, 19-35, 2008
192008
Induction principles as the foundation of the theory of normalisation: Concepts and techniques
S Lengrand
192005
Machine-checked ZKP for NP relations: Formally verified security proofs and implementations of MPC-in-the-head
JB Almeida, M Barbosa, ML Correia, K Eldefrawy, S Graham-Lengrand, ...
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
142021
The system can't perform the operation now. Try again later.
Articles 1–20