On the Nielsen-Schreier Theorem in Homotopy Type Theory von Swan, Andrew W

Volltext

A class of higher inductive types in Zermelo‐Fraenkel set theory von Swan, Andrew W.

Volltext

LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION von RATHJEN, MICHAEL, SWAN, ANDREW W.

Volltext

On Church’s thesis in cubical assemblies von Swan, Andrew W., Uemura, Taichi

Volltext

Unifying Cubical Models of Univalent Type Theory von Cavallo, Evan, Mörtberg, Anders, Swan, Andrew W

Volltext bestellen

CZF does not have the existence property von Swan, Andrew W.

Volltext

Oracle modalities von Swan, Andrew W

Volltext bestellen

A categorical formulation of Kraus' paradox von Swan, Andrew W

Volltext bestellen

Double negation stable h-propositions in cubical sets von Swan, Andrew W

Volltext bestellen

Definable and Non-definable Notions of Structure von Swan, Andrew W

Volltext bestellen

On the Nielsen-Schreier Theorem in Homotopy Type Theory von Swan, Andrew W

Volltext

Oracle modalities von Swan, Andrew W

Volltext

A categorical formulation of Kraus' paradox von Swan, Andrew W

Volltext

Double negation stable h-propositions in cubical sets von Swan, Andrew W

Volltext

Definable and Non-definable Notions of Structure von Swan, Andrew W

Volltext

CZF does not have the Existence Property von Swan, Andrew W

Volltext

Digital information flows across a B2C/C2C continuum and technological innovations in service ecosystems: A service-dominant logic perspective von Peltier, James W., Dahl, Andrew J., Swan, Eric L.

Volltext

Maternal nutrition at conception modulates DNA methylation of human metastable epialleles von Dominguez-Salas, Paula, Moore, Sophie E., Baker, Maria S., Bergen, Andrew W., Cox, Sharon E., Dyer, Roger A., Fulford, Anthony J., Guan, Yongtao, Laritsky, Eleonora, Silver, Matt J., Swan, Gary E., Zeisel, Steven H., Innis, Sheila M., Waterland, Robert A., Prentice, Andrew M., Hennig, Branwen J.

Volltext

Fast Stokesian dynamics von Fiore, Andrew M., Swan, James W.

Volltext

Rapid sampling of stochastic displacements in Brownian dynamics simulations with stresslet constraints von Fiore, Andrew M., Swan, James W.

Volltext