329 citations · 374 across the 11 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.PL2015
Programming and Reasoning with Guarded Recursion for Coinductive Types
Ranald Clouston, Aleš Bizjak, Hans Bugge Grathwohl +1
We present the guarded lambda-calculus, an extension of the simply typed lambda-calculus with guarded recursive and coinductive types. The use of guarded recursive types ensures th…
hep-ph2015★ 329 cited
Status of the Higgs Singlet Extension of the Standard Model after LHC Run 1
Tania Robens, Tim Stefaniak
We discuss the current status of theoretical and experimental constraints on the real Higgs singlet extension of the Standard Model. For the second neutral (non-standard) Higgs bos…