The space of measurement outcomes as a spectrum for non-commutative algebras by Bas Spitters

Get full text

Almost periodic functions, constructively by Bas Spitters

Get full text

The Gelfand spectrum of a noncommutative C*−algebra: a topos−theoretic approach by Spitters, C, Wolters, S

Constructive theory of Banach algebras by Thierry Coquand, Bas Spitters

Get full text

Type classes for efficient exact real arithmetic in Coq by Robbert Krebbers, Bas Spitters

Get full text

Bohrification of operator algebras and quantum logic by Landsman, C, Spitters, B

The principle of general tovariance by Heunen, N, Spitters, B

Bohrification by Heunen, N, Spitters, B

Gelfand spectra in Grothendieck toposes using geometric mathematics by Bas Spitters, Steven Vickers, Sander Wolters

Get full text

Modalities in homotopy type theory by Egbert Rijke, Michael Shulman, Bas Spitters

Get full text

A topos for algebraic quantum theory by Heunen, C, Landsman, N, Spitters, B

A Topos for Algebraic Quantum Theory by Heunen, C, Landsman, N, Spitters, B

Intuitionistic quantum logic of an n−level system by Caspers, M, Heunen, C, Landsman, K, Spitters, B

The reflexive imperative in the digital age: Using Archer’s ‘fractured reflexivity’ to theorise widening inequities in UK general practice by Rybczynska‐Bunt, S, Byng, R, Spitters, S, Shaw, SE, Jameson, B, Greenhalgh, T

45 How digital innovation in primary care disrupts the clinical consultation by Sara Paparini, Michael Gill, Deborah Swinglehurst, Joe Wherton, Sara Shaw, Sharon Spooner, Sophie Spitters, Natassia Brenman

A calcineurin-mediated scaling mechanism that controls a K+-leak channel to regulate morphogen and growth factor transcription by Chao Yi, Tim WGM Spitters, Ezz Al-Din Ahmed Al-Far, Sen Wang, TianLong Xiong, Simian Cai, Xin Yan, Kaomei Guan, Michael Wagner, Ali El-Armouche, Christopher L Antos

Get full text

Adverse pregnancy outcomes after in vitro fertilization due to undiagnosed urogenital tuberculosis and proposed screening algorithm for patients from tuberculosis-endemic countries... by Stephanie E. McLaughlin, M.D., M.P.H., Surabhi B. Vora, M.D., E. Chandler Church, M.D., M.Sc., Christopher Spitters, M.D., Angela Thyer, M.D., Sylvia LaCourse, M.D., Christopher N. Herndon, M.D.

Get full text

Development of measurable indicators to enhance public health evidence-informed policy-making by Valentina Tudisca, Adriana Valente, Tommaso Castellani, Timo Stahl, Petru Sandu, Diana Dulf, Hilde Spitters, Ien Van de Goor, Christina Radl-Karimi, Mohamed Ahmed Syed, Natasa Loncarevic, Cathrine Juel Lau, Susan Roelofs, Maja Bertram, Nancy Edwards, Arja R. Aro, on behalf of the REPOPA Consortium

Get full text

Supporting data of spatiotemporal proliferation of human stromal cells adjusts to nutrient availability and leads to stanniocalcin-1 expression in vitro and in vivo by Gustavo A. Higuera, Hugo Fernandes, Tim W.G.M. Spitters, Jeroen van de Peppel, Nils Aufferman, Roman Truckenmueller, Maryana Escalante, Reinout Stoop, Johannes P van Leeuwen, Jan de Boer, Vinod Subramaniam, Marcel Karperien, Clemens van Blitterswijk, Anton van Boxtel, Lorenzo Moroni

Get full text

Patient safety in remote primary care encounters: multimethod qualitative study combining Safety I and Safety II analysis by Payne, R, Clarke, A, Swann, N, van Dael, J, Brenman, N, Rosen, R, Mackridge, A, Moore, L, Kalin, A, Ladds, E, Hemmings, N, Rybczynska-Bunt, S, Faulkner, S, Hanson, I, Spitters, S, Wieringa, S, Dakin, FH, Shaw, SE, Wherton, J, Byng, R, Husain, L, Greenhalgh, T