Andrzej S. Murawski (murawski-a)

Beiträge zu Philosophie.ch

Bibliography

Esparza, Javier and Murawski, Andrzej S., eds. 2017. Foundations of Software Science and Computation Structures. Proceedings of the 20th International Conference, FOSSACS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017. Cham: Springer, doi:10.1007/978-3-662-54458-7.
Murawski, Andrzej S. 2006. “Review of Ehrhardt et al. (2010).” The Bulletin of Symbolic Logic 12(1): 297–299.

Further References

Ehrhardt, Thomas, Girard, Jean-Yves, Ruet, Paul and Scott, Philip, eds. 2010. Linear Logic in Computer Science. Cambridge: Cambridge University Press.