20 citations · 20 across the 3 of their papers we have counts for
4 papers
Case Studies in Formal Reasoning About Lambda-Calculus: Semantics, Church-Rosser, Standardization and HOAS
Lorenzo Gheri, Andrei Popescu
We have previously published the Isabelle/HOL formalization of a general theory of syntax with bindings. In this companion paper, we instantiate the general theory to the syntax of…
NNLO QCD study of polarised production at the LHC
Rene Poncelet, Andrei Popescu
Longitudinal polarisation of the weak bosons is a direct consequence of Electroweak symmetry breaking mechanism providing an insight into its nature, and is instrumental in searche…
The fate of small classically stable Q-balls
Dmitry Levkov, Emin Nugaev, Andrei Popescu
The smallest classically stable Q-balls are, in fact, generically metastable: in quantum theory they decay into free particles via collective tunneling. We derive general semiclass…
A Formalized General Theory of Syntax with Bindings
Lorenzo Gheri, Andrei Popescu
We present the formalization of a theory of syntax with bindings that has been developed and refined over the last decade to support several large formalization efforts. Terms are…