5570 results in Programming Languages and Applied Logic
2 - Basic gadgetry
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp 34-71
-
- Chapter
- Export citation
4 - Limits and colimits in general
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp 108-147
-
- Chapter
- Export citation
3 - Functors and natural transformations
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp 72-107
-
- Chapter
- Export citation
Index
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp 224-226
-
- Chapter
- Export citation
6 - Posets and monoid sets
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp 190-222
-
- Chapter
- Export citation
Bibliography
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp 223-223
-
- Chapter
- Export citation
An Introduction to Category Theory
-
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011
5 - Adjunctions
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp 148-189
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp i-iv
-
- Chapter
- Export citation
Contents
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp v-vi
-
- Chapter
- Export citation
Preface
-
- Book:
- An Introduction to Category Theory
- Published online:
- 05 June 2012
- Print publication:
- 22 September 2011, pp vii-x
-
- Chapter
- Export citation
2 - Case studies for software product line engineering
- from Part I - Software product line engineering challenges
-
-
- Book:
- Aspect-Oriented, Model-Driven Software Product Lines
- Published online:
- 07 September 2011
- Print publication:
- 08 September 2011, pp 27-52
-
- Chapter
- Export citation
10 - Product-driven software product line engineering
- from Part IV - Product-driven vs. solution-driven software product line engineering
-
-
- Book:
- Aspect-Oriented, Model-Driven Software Product Lines
- Published online:
- 07 September 2011
- Print publication:
- 08 September 2011, pp 287-315
-
- Chapter
- Export citation
6 - Product line implementation with ECaesarJ
- from Part III - Variability implementation and traceability
-
-
- Book:
- Aspect-Oriented, Model-Driven Software Product Lines
- Published online:
- 07 September 2011
- Print publication:
- 08 September 2011, pp 161-196
-
- Chapter
- Export citation
Part II - Variability analysis and modelling
-
- Book:
- Aspect-Oriented, Model-Driven Software Product Lines
- Published online:
- 07 September 2011
- Print publication:
- 08 September 2011, pp 53-54
-
- Chapter
- Export citation
8 - Managing information flow in the SPL development processes
- from Part III - Variability implementation and traceability
-
-
- Book:
- Aspect-Oriented, Model-Driven Software Product Lines
- Published online:
- 07 September 2011
- Print publication:
- 08 September 2011, pp 222-262
-
- Chapter
- Export citation
11 - Solution-driven software product line engineering
- from Part IV - Product-driven vs. solution-driven software product line engineering
-
-
- Book:
- Aspect-Oriented, Model-Driven Software Product Lines
- Published online:
- 07 September 2011
- Print publication:
- 08 September 2011, pp 316-344
-
- Chapter
- Export citation
4 - Variability management
- from Part II - Variability analysis and modelling
-
-
- Book:
- Aspect-Oriented, Model-Driven Software Product Lines
- Published online:
- 07 September 2011
- Print publication:
- 08 September 2011, pp 82-124
-
- Chapter
- Export citation
1 - Introduction
- from Part I - Software product line engineering challenges
-
-
- Book:
- Aspect-Oriented, Model-Driven Software Product Lines
- Published online:
- 07 September 2011
- Print publication:
- 08 September 2011, pp 3-26
-
- Chapter
- Export citation
Part I - Software product line engineering challenges
-
- Book:
- Aspect-Oriented, Model-Driven Software Product Lines
- Published online:
- 07 September 2011
- Print publication:
- 08 September 2011, pp 1-2
-
- Chapter
- Export citation