9 results
Chapter 32 - Sebald in Translation
- from Part IV - Reception and Legacy
-
-
- Book:
- W. G. Sebald in Context
- Published online:
- 24 August 2023
- Print publication:
- 07 September 2023, pp 287-294
-
- Chapter
- Export citation
Rewriting with generalized nominal unification
-
- Journal:
- Mathematical Structures in Computer Science / Volume 30 / Issue 6 / June 2020
- Published online by Cambridge University Press:
- 22 May 2020, pp. 710-735
-
- Article
- Export citation
Linear pattern matching of compressed terms and polynomial rewriting
-
- Journal:
- Mathematical Structures in Computer Science / Volume 28 / Issue 8 / September 2018
- Published online by Cambridge University Press:
- 02 August 2018, pp. 1415-1450
-
- Article
- Export citation
Ultrafast Transmission Electron Microscopy with nanoscale Photoemitters
-
- Journal:
- Microscopy and Microanalysis / Volume 21 / Issue S3 / August 2015
- Published online by Cambridge University Press:
- 23 September 2015, pp. 1203-1204
- Print publication:
- August 2015
-
- Article
-
- You have access
- Export citation
Identification of Mitochondrial-derived Vesicles
-
- Journal:
- Microscopy and Microanalysis / Volume 16 / Issue S2 / July 2010
- Published online by Cambridge University Press:
- 01 August 2010, pp. 968-969
- Print publication:
- July 2010
-
- Article
-
- You have access
- Export citation
A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
-
- Journal:
- Mathematical Structures in Computer Science / Volume 18 / Issue 3 / June 2008
- Published online by Cambridge University Press:
- 01 June 2008, pp. 501-553
-
- Article
- Export citation
Safety of Nöcker's strictness analysis
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 4 / July 2008
- Published online by Cambridge University Press:
- 08 November 2007, pp. 503-551
-
- Article
-
- You have access
- Export citation
Deciding inclusion of set constants over infinite non-strict data structures
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 41 / Issue 2 / April 2007
- Published online by Cambridge University Press:
- 18 July 2007, pp. 225-241
- Print publication:
- April 2007
-
- Article
- Export citation
NATURAL EXPERT: a commercial functional programming environment
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 2 / March 1997
- Published online by Cambridge University Press:
- 01 March 1997, pp. 163-182
-
- Article
-
- You have access
- Export citation