Cantini, Andrea and Crosilla, Laura. "Conservativity of transitive closure over weak constructive operational set theory: Dedicated to Prof. Helmut Schwichtenberg".
Logic, Construction, Computation, edited by Ulrich Berger, Hannes Diener, Peter Schuster and Monika Seisenberger, Berlin, Boston: De Gruyter, 2012, pp. 91-122.
https://doi.org/10.1515/9783110324921.91Cantini, A. & Crosilla, L. (2012). Conservativity of transitive closure over weak constructive operational set theory: Dedicated to Prof. Helmut Schwichtenberg. In U. Berger, H. Diener, P. Schuster & M. Seisenberger (Ed.),
Logic, Construction, Computation (pp. 91-122). Berlin, Boston: De Gruyter.
https://doi.org/10.1515/9783110324921.91Cantini, A. and Crosilla, L. 2012. Conservativity of transitive closure over weak constructive operational set theory: Dedicated to Prof. Helmut Schwichtenberg. In: Berger, U., Diener, H., Schuster, P. and Seisenberger, M. ed.
Logic, Construction, Computation. Berlin, Boston: De Gruyter, pp. 91-122.
https://doi.org/10.1515/9783110324921.91Cantini, Andrea and Crosilla, Laura. "Conservativity of transitive closure over weak constructive operational set theory: Dedicated to Prof. Helmut Schwichtenberg" In
Logic, Construction, Computation edited by Ulrich Berger, Hannes Diener, Peter Schuster and Monika Seisenberger, 91-122. Berlin, Boston: De Gruyter, 2012.
https://doi.org/10.1515/9783110324921.91Cantini A, Crosilla L. Conservativity of transitive closure over weak constructive operational set theory: Dedicated to Prof. Helmut Schwichtenberg. In: Berger U, Diener H, Schuster P, Seisenberger M (ed.)
Logic, Construction, Computation. Berlin, Boston: De Gruyter; 2012. p.91-122.
https://doi.org/10.1515/9783110324921.91Copied to clipboard
