1
Kupferman, Orna
2023
Table of Contents:
“... -- A Higher-Order Language for Markov Kernels and Linear Operators -- A Formal Logic for Formal Category Theory -- A Strict Constrained Superposition Calculus for Graphs -- A programming language characterizing quantum polynomial time -- On the Existential...”2023
Full text
2
4
5
La Rosa, Marcello
2021
Table of Contents:
“... Elicitation via Fit-Gap Analysis: A View through the Grounded Theory Lens -- Lambda+, the renewal of the Lambda Architecture: Category Theory to the rescue -- Category Theory Framework for Variability Models with Non-Functional Requirements -- Platforms...”2021
Full text
6
7
Silva, Alexandra
2021
Table of Contents:
“...Logic -- Language -- Computation -- Proofs -- Formal Languages -- Category Theory -- Deduction systems....”2021
Full text
9
10
Jansen, Remo H.
2019
Table of Contents:
“... Techniques -- Chapter 7: Category Theory -- Chapter 8: Immutability, Optics, and Laziness -- Chapter 9: Functional-Reactive Programming -- Chapter 10: Real-World Functional Programming -- Appendix A: Functional Programming Learning Road Map -- Appendix B...”2019
Full text
11
KuÅ›, Marek
2019
Table of Contents:
“...Introduction -- Why Categories? -- Category Theory and Philosophy -- Comments on: Category Theory and Philosophy by Zbigniew Krol -- Are There Category-Theoretical Explanations of Physical Phenomena? -- The Application of Category Theory to Epistemic...”2019
Full text
12
13
Auletta, Gennaro
2019
Table of Contents:
“... -- Category Theory and Quantum Mechanics....”2019
Full text
15
Landsman, Klaas
2017
Table of Contents:
“... -- Appendix A: Finite-dimensional Hilbert spaces -- Appendix B: Basic functional analysis -- Appendix C: Operator algebras -- Appendix D: Lattices and logic -- Appendix E: Category theory and topos theory -- References....”2017
Full text
16
17
18
19
Klein, Gerwin.
2014
Table of Contents:
“...-Aggregate Coq Library for Parallel Programs Extraction -- Experience Implementing a Performant Category-Theory Library in Coq -- A New and Formalized Proof of Abstract Completion -- HOL with Definitions: Semantics, Soundness and a Verified Implementation...”2014
Full text
20
Ciobanu, Gabriel.
2014
Table of Contents:
“..., grid and cloud computing -- Real-time, embedded, hybrid and cyber-physical systems -- Type and category theory in computer science -- Models for e-learning and education -- Case studies, theories, tools and experiments of verified systems -- Domain-specific...”2014
Full text