4 results
Schlagbauer, Konstantin; Schuster, Peter; Wessel, Daniel
Confluentes Mathematici, Volume 11 (2019) p. 79-93
Rinaldi, Davide; Sambin, Giovanni; Schuster, Peter
Confluentes Mathematici, Volume 7 (2015) p. 55-81
Coquand, Thierry; Lombardi, Henri; Schuster, Peter
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 48 (2007) p. 220-228
Bridges, Douglas; Ishihara, Hajime; Schuster, Peter; Vîţă, Luminita
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 46 (2005) p. 139-153