Author:
Bayer Jonas,Gonus Alexey,Benzmüller Christoph,Scott Dana S.
Publisher
Springer Nature Switzerland
Reference31 articles.
1. Abramsky, S., Tzevelekos, N.: Introduction to categories and categorical logic. In: Coecke, B. (ed.) New Structures for Physics, pp. 3–94. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-12821-9_1
2. Beffara, E.: Introduction to linear logic, August 2013. https://hal.archives-ouvertes.fr/cel-01144229, lecture
3. Benzmüller, C., Andrews, P.: Church’s type theory. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, Summer 2019 edn., pp. 1–62 (in pdf version). Metaphysics Research Lab, Stanford University (2019). https://plato.stanford.edu/entries/type-theory-church/
4. Benzmüller, C., Parent, X., van der Torre, L.: Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support. Artif. Intell. 287, 103348 (2020). https://doi.org/10.1016/j.artint.2020.103348
5. Lecture Notes in Computer Science;C Benzmüller,2016