55 results
A linear linear lambda-calculus
-
- Journal:
- Mathematical Structures in Computer Science , First View
- Published online by Cambridge University Press:
- 31 May 2024, pp. 1-35
-
- Article
- Export citation
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs
-
- Journal:
- Mathematical Structures in Computer Science / Volume 32 / Issue 7 / August 2022
- Published online by Cambridge University Press:
- 17 March 2022, pp. 898-933
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
5 - What Algorithms Don’t Do
-
- Book:
- The Age of Algorithms
- Published online:
- 17 March 2020
- Print publication:
- 16 April 2020, pp 36-44
-
- Chapter
- Export citation
18 - Can an Algorithm Be Intelligent?
-
- Book:
- The Age of Algorithms
- Published online:
- 17 March 2020
- Print publication:
- 16 April 2020, pp 150-155
-
- Chapter
- Export citation
1 - Algorithms Intrigue, Algorithms Disturb
-
- Book:
- The Age of Algorithms
- Published online:
- 17 March 2020
- Print publication:
- 16 April 2020, pp 1-4
-
- Chapter
- Export citation
19 - Can an Algorithm Have Feelings?
-
- Book:
- The Age of Algorithms
- Published online:
- 17 March 2020
- Print publication:
- 16 April 2020, pp 156-159
-
- Chapter
- Export citation
17 - The Augmented Human
-
- Book:
- The Age of Algorithms
- Published online:
- 17 March 2020
- Print publication:
- 16 April 2020, pp 143-149
-
- Chapter
- Export citation
15 - Computer Science and Ecology
-
- Book:
- The Age of Algorithms
- Published online:
- 17 March 2020
- Print publication:
- 16 April 2020, pp 125-132
-
- Chapter
- Export citation
Acknowledgments
-
- Book:
- The Age of Algorithms
- Published online:
- 17 March 2020
- Print publication:
- 16 April 2020, pp vi-vi
-
- Chapter
- Export citation
11 - An Algorithm in the Community
-
- Book:
- The Age of Algorithms
- Published online:
- 17 March 2020
- Print publication:
- 16 April 2020, pp 89-95
-
- Chapter
- Export citation
8 - The End of Work
-
- Book:
- The Age of Algorithms
- Published online:
- 17 March 2020
- Print publication:
- 16 April 2020, pp 61-69
-
- Chapter
- Export citation
3 - Algorithms, Computers, and Programs
-
- Book:
- The Age of Algorithms
- Published online:
- 17 March 2020
- Print publication:
- 16 April 2020, pp 19-28
-
- Chapter
- Export citation
7 - The End of Employment
-
- Book:
- The Age of Algorithms
- Published online:
- 17 March 2020
- Print publication:
- 16 April 2020, pp 53-60
-
- Chapter
- Export citation
Copyright page
-
- Book:
- The Age of Algorithms
- Published online:
- 17 March 2020
- Print publication:
- 16 April 2020, pp iv-iv
-
- Chapter
- Export citation
4 - What Algorithms Do
-
- Book:
- The Age of Algorithms
- Published online:
- 17 March 2020
- Print publication:
- 16 April 2020, pp 29-35
-
- Chapter
- Export citation
13 - Personal Data and Privacy
-
- Book:
- The Age of Algorithms
- Published online:
- 17 March 2020
- Print publication:
- 16 April 2020, pp 104-114
-
- Chapter
- Export citation
14 - Fairness, Transparency, and Diversity
-
- Book:
- The Age of Algorithms
- Published online:
- 17 March 2020
- Print publication:
- 16 April 2020, pp 115-124
-
- Chapter
- Export citation
Contents
-
- Book:
- The Age of Algorithms
- Published online:
- 17 March 2020
- Print publication:
- 16 April 2020, pp v-v
-
- Chapter
- Export citation
6 - Computational Thinking
-
- Book:
- The Age of Algorithms
- Published online:
- 17 March 2020
- Print publication:
- 16 April 2020, pp 45-52
-
- Chapter
- Export citation
12 - The Responsibility of Algorithms
-
- Book:
- The Age of Algorithms
- Published online:
- 17 March 2020
- Print publication:
- 16 April 2020, pp 96-103
-
- Chapter
- Export citation