5571 results in Programming Languages and Applied Logic
Polygraphs: From Rewriting to Higher Categories
- Coming soon
-
- Expected online publication date:
- March 2025
- Print publication:
- 31 March 2025
-
- Book
- Export citation
Initial Algebras and Terminal Coalgebras
- The Theory of Fixed Points of Functors
- Coming soon
-
- Expected online publication date:
- February 2025
- Print publication:
- 28 February 2025
-
- Book
- Export citation
Digital Behavior
- Evidence-Based Digital Design
- Coming soon
-
- Expected online publication date:
- January 2025
- Print publication:
- 31 January 2025
-
- Book
- Export citation
Programming in Ada 2022
- Coming soon
-
- Expected online publication date:
- November 2024
- Print publication:
- 30 November 2024
-
- Book
- Export citation
Chapter 8 - Models of LSA as derived models
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp 213-234
-
- Chapter
- Export citation
Chapter 11 - A proof of square in LSA-small HOD mice
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp 309-334
-
- Chapter
- Export citation
Chapter 9 - Condensing sets
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp 235-272
-
- Chapter
- Export citation
Chapter 4 - A comparison theory of HOD mice
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp 97-180
-
- Chapter
- Export citation
Dedication
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp v-vi
-
- Chapter
- Export citation
Chapter 10 - Applications
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp 273-308
-
- Chapter
- Export citation
Index
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp 391-394
-
- Chapter
- Export citation
Chapter 7 - Analysis of HOD
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp 207-212
-
- Chapter
- Export citation
Chapter 3 - Short tree strategy mice
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp 61-96
-
- Chapter
- Export citation
Chapter 1 - Introduction
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp 1-8
-
- Chapter
- Export citation
Contents
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp vii-x
-
- Chapter
- Export citation
Chapter 2 - Hybrid 𝒥-structures
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp 9-60
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp i-iv
-
- Chapter
- Export citation
Chapter 6 - The internal theory of LSA HOD mice
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp 193-206
-
- Chapter
- Export citation
Chapter 5 - HOD mice revisited
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp 181-192
-
- Chapter
- Export citation
Chapter 12 - LSA from PFA
-
- Book:
- The Largest Suslin Axiom
- Published online:
- 07 June 2024
- Print publication:
- 27 June 2024, pp 335-384
-
- Chapter
- Export citation