12 results
Redexes are stable in the λ-calculus
-
- Journal:
- Mathematical Structures in Computer Science / Volume 27 / Issue 5 / June 2017
- Published online by Cambridge University Press:
- 15 July 2015, pp. 738-750
-
- Article
- Export citation
Contributors
-
-
- Book:
- Comprehensive Management of Arteriovenous Malformations of the Brain and Spine
- Published online:
- 05 January 2015
- Print publication:
- 08 January 2015, pp x-xiv
-
- Chapter
- Export citation
Incremental moments and Hölder exponents of multifractional multistable processes
-
- Journal:
- ESAIM: Probability and Statistics / Volume 17 / 2013
- Published online by Cambridge University Press:
- 08 February 2013, pp. 135-178
- Print publication:
- 2013
-
- Article
- Export citation
Contents
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp v-viii
-
- Chapter
- Export citation
9 - Generalized finite developments
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 185-204
-
- Chapter
- Export citation
List of contributors
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp ix-xii
-
- Chapter
- Export citation
From Semantics to Computer Science
- Essays in Honour of Gilles Kahn
-
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009
Frontmatter
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp i-iv
-
- Chapter
- Export citation
Preface
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp xiii-xx
-
- Chapter
- Export citation
Efficacy of Prevention by High-Efficiency Particulate Air Filtration or Laminar Airflow Against Aspergillus Airborne Contamination During Hospital Renovation
-
- Journal:
- Infection Control & Hospital Epidemiology / Volume 20 / Issue 7 / July 1999
- Published online by Cambridge University Press:
- 02 January 2015, pp. 508-513
- Print publication:
- July 1999
-
- Article
- Export citation
Claude Raffestin (avec la collaboration de Dario Lopreno et Yvan Pasteur), Géopolitique et histoire, Lausanne-Paris, Payot, 1995, 330 p.
-
- Journal:
- Annales. Histoire, Sciences Sociales / Volume 53 / Issue 2 / April 1998
- Published online by Cambridge University Press:
- 26 July 2017, pp. 436-439
- Print publication:
- April 1998
-
- Article
- Export citation
Biologically active peptides of casein and lactotransferrin implicated in platelet function
-
- Journal:
- Journal of Dairy Research / Volume 56 / Issue 3 / May 1989
- Published online by Cambridge University Press:
- 01 June 2009, pp. 351-355
- Print publication:
- May 1989
-
- Article
- Export citation