15 results
Detection and diagnosis of deviations in distributed systems of autonomous agents
-
- Journal:
- Mathematical Structures in Computer Science / Volume 32 / Issue 9 / October 2022
- Published online by Cambridge University Press:
- 06 September 2022, pp. 1254-1282
-
- Article
- Export citation
A rewriting framework and logic for activities subject to regulations
-
- Journal:
- Mathematical Structures in Computer Science / Volume 27 / Issue 3 / March 2017
- Published online by Cambridge University Press:
- 02 June 2015, pp. 332-375
-
- Article
- Export citation
Equivalence in functional languages with effects
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 3 / July 1991
- Published online by Cambridge University Press:
- 07 November 2008, pp. 287-327
-
- Article
-
- You have access
- Export citation
Preface
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp v-vi
-
- Chapter
- Export citation
Contents
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp vii-viii
-
- Chapter
- Export citation
PART I - PROOF THEORETIC ANALYSIS
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp ix-x
-
- Chapter
- Export citation
PART II - LOGIC AND COMPUTATION
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 137-138
-
- Chapter
- Export citation
PART III - APPLICATIVE AND SELF-APPLICATIVE THEORIES
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 249-250
-
- Chapter
- Export citation
Reflections on the Foundations of Mathematics
- Essays in Honor of Solomon Feferman
-
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002
PART IV - PHILOSOPHY OF MODERN MATHEMATICAL AND LOGICAL THOUGHT
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 347-348
-
- Chapter
- Export citation
Feferman-Landin Logic
- from PART III - APPLICATIVE AND SELF-APPLICATIVE THEORIES
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 293-328
-
- Chapter
- Export citation
Reflections
- from Symposium program
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 443-444
-
- Chapter
- Export citation
Symposium program
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 441-442
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp i-iv
-
- Chapter
- Export citation
A foundation for actor computation
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 1 / January 1997
- Published online by Cambridge University Press:
- 01 January 1997, pp. 1-72
-
- Article
-
- You have access
- Export citation