LNL polycategories and doctrines of linear logic von Shulman, Michael

Volltext

Comparing material and structural set theories von Shulman, Michael

Volltext

Observation of the fractional quantum Hall effect in graphene von Bolotin, Kirill I., Ghahari, Fereshte, Shulman, Michael D., Stormer, Horst L., Kim, Philip

Volltext

What Use is Freud? von Shulman, Michael, E.

Volltext

Quenching of dynamic nuclear polarization by spin–orbit coupling in GaAs quantum dots von Nichol, John M., Harvey, Shannon P., Shulman, Michael D., Pal, Arijeet, Umansky, Vladimir, Rashba, Emmanuel I., Halperin, Bertrand I., Yacoby, Amir

Volltext

Idempotents in intensional type theory von Shulman, Michael

Volltext

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

Volltext

Brouwer's fixed-point theorem in real-cohesive homotopy type theory von SHULMAN, MICHAEL

Volltext

Univalence for inverse diagrams and homotopy canonicity von SHULMAN, MICHAEL

Volltext

AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS von SHULMAN, MICHAEL

Volltext

"The Economy's Favored Children": The Narcissistic Relation and the Financial Crisis von Shulman, Michael E.

Volltext

Quantum Gauge Field Theory in Cohesive Homotopy Type Theory von Schreiber, Urs, Shulman, Michael

Volltext

The univalence axiom for elegant Reedy presheaves von Shulman, Michael

Volltext

A practical type theory for symmetric monoidal categories von Shulman, Michael

Volltext

THE 2-CHU-DIALECTICA CONSTRUCTION AND THE POLYCATEGORY OF MULTIVARIABLE ADJUNCTIONS von Shulman, Michael

Volltext

Autonomous Envelopes and Conservativity von Shulman, Michael

Volltext

Enriched categories as a free cocompletion von Garner, Richard, Shulman, Michael

Volltext

Univalence for inverse EI diagrams von Shulman, Michael

Volltext

A Possible Origin of Quantum Correlations von Belinsky, Alexander V., Shulman, Michael H.

Volltext

Tuning Methods for Semiconductor Spin Qubits von Botzem, Tim, Shulman, Michael D., Foletti, Sandra, Harvey, Shannon P., Dial, Oliver E., Bethke, Patrick, Cerfontaine, Pascal, McNeil, Robert P. G., Mahalu, Diana, Umansky, Vladimir, Ludwig, Arne, Wieck, Andreas, Schuh, Dieter, Bougeard, Dominique, Yacoby, Amir, Bluhm, Hendrik

Volltext