28 results
Fermentation profile and dynamics of bacterial communities in vetch-oat ensiled with a novel spray-dried inoculant
-
- Journal:
- The Journal of Agricultural Science / Volume 161 / Issue 6 / December 2023
- Published online by Cambridge University Press:
- 05 February 2024, pp. 835-846
-
- Article
- Export citation
Strategies for Sampling Difficult Archaeological Contexts and Improving the Quality of Radiocarbon Data: The Case of Erimi Laonin Tou Porakou, Cyprus
-
- Journal:
- Radiocarbon / Volume 59 / Issue 6 / December 2017
- Published online by Cambridge University Press:
- 17 October 2017, pp. 1919-1930
- Print publication:
- December 2017
-
- Article
- Export citation
1 - Determinacy in a synchronous π-calculus
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 1-28
-
- Chapter
- Export citation
Contents
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp v-viii
-
- Chapter
- Export citation
Appendix 1 - Summary of recursion theory
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 449-453
-
- Chapter
- Export citation
5 - CCC's of algebraic dcpo's
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 105-123
-
- Chapter
- Export citation
13 - Towards linear logic
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 301-340
-
- Chapter
- Export citation
15 - Domains and realizability
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 388-420
-
- Chapter
- Export citation
Notation
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp xv-xvi
-
- Chapter
- Export citation
10 - Stone duality
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 215-239
-
- Chapter
- Export citation
Preface
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp ix-xiv
-
- Chapter
- Export citation
References and bibliography
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 469-479
-
- Chapter
- Export citation
Appendix 2 - Summary of category theory
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 454-468
-
- Chapter
- Export citation
4 - Interpretation of λ-calculi in CCC's
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 71-104
-
- Chapter
- Export citation
14 - Sequentially
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 341-387
-
- Chapter
- Export citation
9 - Powerdomains
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 200-214
-
- Chapter
- Export citation
7 - Domain equations
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 144-167
-
- Chapter
- Export citation
11 - Dependent and second order types
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 240-269
-
- Chapter
- Export citation
Domains and Lambda-Calculi
-
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998
2 - Syntactic theory of the λ-calculus
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 22-42
-
- Chapter
- Export citation