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