Publisher
Springer International Publishing
Reference31 articles.
1. Baer, R.: Abelian groups that are direct summands of every containing abelian group. Bull. Am. Math. Soc. 46(10), 800–806 (1940).
https://projecteuclid.org:443/euclid.bams/1183503234
2. Baldan, P., Bonchi, F., Kerstan, H., König, B.: Behavioral Metrics via Functor Lifting. In: Raman, V., Suresh, S.P. (eds.) 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014). Leibniz International Proceedings in Informatics (LIPIcs), vol. 29, pp. 403–415. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany (2014).
https://doi.org/10.4230/LIPIcs.FSTTCS.2014.403
,
http://drops.dagstuhl.de/opus/volltexte/2014/4859
3. Baldan, P., Bonchi, F., Kerstan, H., König, B.: Coalgebraic behavioral metrics. Log. Methods Comput. Sci. 14(3) (2018).
https://doi.org/10.23638/LMCS-14(3:20)2018
4. Banaschewski, B., Bruns, G.: Categorical characterization of the macneille completion. Archiv der Mathematik 18(4), 369–377 (1967).
https://doi.org/10.1007/BF01898828
5. Lecture Notes in Computer Science;K Chatzikokolakis,2014