5570 results in Programming Languages and Applied Logic
Index
-
- Book:
- An Invitation to Applied Category Theory
- Published online:
- 05 July 2019
- Print publication:
- 18 July 2019, pp 331-338
-
- Chapter
- Export citation
Contents
-
- Book:
- An Invitation to Applied Category Theory
- Published online:
- 05 July 2019
- Print publication:
- 18 July 2019, pp vii-viii
-
- Chapter
- Export citation
Appendix - Exercise Solutions
-
- Book:
- An Invitation to Applied Category Theory
- Published online:
- 05 July 2019
- Print publication:
- 18 July 2019, pp 256-324
-
- Chapter
- Export citation
4 - Collaborative Design: Profunctors, Categorification, and Monoidal Categories
-
- Book:
- An Invitation to Applied Category Theory
- Published online:
- 05 July 2019
- Print publication:
- 18 July 2019, pp 117-146
-
- Chapter
- Export citation
6 - Electric Circuits: Hypergraph Categories and Operads
-
- Book:
- An Invitation to Applied Category Theory
- Published online:
- 05 July 2019
- Print publication:
- 18 July 2019, pp 180-218
-
- Chapter
- Export citation
References
-
- Book:
- An Invitation to Applied Category Theory
- Published online:
- 05 July 2019
- Print publication:
- 18 July 2019, pp 325-330
-
- Chapter
- Export citation
1 - Generative Effects: Orders and Galois Connections
-
- Book:
- An Invitation to Applied Category Theory
- Published online:
- 05 July 2019
- Print publication:
- 18 July 2019, pp 1-37
-
- Chapter
- Export citation
2 - Resource Theories: Monoidal Preorders and Enrichment
-
- Book:
- An Invitation to Applied Category Theory
- Published online:
- 05 July 2019
- Print publication:
- 18 July 2019, pp 38-76
-
- Chapter
- Export citation
5 - Signal Flow Graphs: Props, Presentations, and Proofs
-
- Book:
- An Invitation to Applied Category Theory
- Published online:
- 05 July 2019
- Print publication:
- 18 July 2019, pp 147-179
-
- Chapter
- Export citation
7 - Logic of Behavior: Sheaves, Toposes, and Internal Languages
-
- Book:
- An Invitation to Applied Category Theory
- Published online:
- 05 July 2019
- Print publication:
- 18 July 2019, pp 219-255
-
- Chapter
- Export citation
An Invitation to Applied Category Theory
- Seven Sketches in Compositionality
-
- Published online:
- 05 July 2019
- Print publication:
- 18 July 2019
7 - Lower bounds from division and multiplication
- from Part II - Intrinsic complexity
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 191-202
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp i-iv
-
- Chapter
- Export citation
Part II - Intrinsic complexity
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 127-128
-
- Chapter
- Export citation
References
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 229-236
-
- Chapter
- Export citation
Symbol index
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 237-238
-
- Chapter
- Export citation
8 - Non-uniform complexity in N
- from Part II - Intrinsic complexity
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 203-208
-
- Chapter
- Export citation
Part I - Abstract (first order) recursion
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 47-48
-
- Chapter
- Export citation
2 - Recursive (McCarthy) programs
- from Part I - Abstract (first order) recursion
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 49-102
-
- Chapter
- Export citation
9 - Polynomial nullity (0-testing)
- from Part II - Intrinsic complexity
-
- Book:
- Abstract Recursion and Intrinsic Complexity
- Published online:
- 23 November 2018
- Print publication:
- 06 December 2018, pp 209-228
-
- Chapter
- Export citation