5570 results in Programming Languages and Applied Logic
17 - A constructive denotational semantics for Kahn networks in Coq
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 383-414
-
- 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
18 - Asclepios: a research project team at INRIA for the analysis and simulation of biomedical images
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 415-436
-
- Chapter
- Export citation
3 - Sequential algorithms as bistable maps
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 51-70
-
- Chapter
- Export citation
10 - Semantics of program representation graphs
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 205-234
-
- Chapter
- 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
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
11 - From Centaur to the Meta-Environment: a tribute to a great meta-technologist
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 235-264
-
- Chapter
- Export citation
2 - Classical coordination mechanisms in the chemical model
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 29-50
-
- Chapter
- Export citation
From Semantics to Computer Science
- Essays in Honour of Gilles Kahn
-
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009
13 - Grammars as software libraries
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 281-308
-
- Chapter
- Export citation
26 - The tower of informatic models
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 561-574
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp i-iv
-
- Chapter
- Export citation
21 - Reversal strategies for adjoint algorithms
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 489-506
-
- Chapter
- Export citation
19 - Proxy caching in split TCP: dynamics, stability and tail asymptotics
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 437-464
-
- Chapter
- Export citation
22 - Reflections on INRIA and the role of Gilles Kahn
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 507-516
-
- 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
6 - A simple type-theoretic language: Mini-TT
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 139-164
-
- Chapter
- Export citation
8 - Algorithms for equivalence and reduction to minimal form for a class of simple recursive equations
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 169-184
-
- Chapter
- Export citation