33 citations · 88 across the 9 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
hep-ph2017★ 20 cited
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…
cs.LO2017
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…