8 results
A formal study of Bernstein coefficients and polynomials†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 21 / Issue 4 / August 2011
- Published online by Cambridge University Press:
- 01 July 2011, pp. 731-761
-
- 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
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
15 - Theorem-proving support in programming language semantics
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 337-362
-
- Chapter
- Export citation
Affine functions and series with co-inductive real numbers
-
- Journal:
- Mathematical Structures in Computer Science / Volume 17 / Issue 1 / February 2007
- Published online by Cambridge University Press:
- 01 February 2007, pp. 37-63
-
- Article
- Export citation