From reproductive rights to climate change to Big Tech, The Independent is on the ground when the story is developing. Whether it's investigating the financials of Elon Musk's pro-Trump PAC or ...
Over the years, Dave Allen has gone by two monikers. The “White Rhino” feels fitting; the species is sadly endangered, and boxers like Allen are a true rarity. But what of the “Doncaster De La Hoya”?
Abstract: We give a denotational account of logical relations for call-by-push-value (CBPV) in the fibrational style of Hermida, Jacobs, Katsumata and others. Fibrations—which axiomatise the usual ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results