Travelled to:1 × Cyprus
1 × Norway
Collaborated with:∅ S.Milius L.S.Moss
Talks about:recurs (2) nondeterminist (1) structur (1) categori (1) theoret (1) program (1) semant (1) scheme (1) view (1) cia (1)
Person: Daniel Schwencke
DBLP: Schwencke:Daniel
Contributed to:
2011
2010Wrote 2 papers:
- CSL-2011-Schwencke #nondeterminism #recursion
- A Category Theoretic View of Nondeterministic Recursive Program Schemes (DS), pp. 496–511.
- FoSSaCS-2010-MiliusMS #recursion #semantics
- CIA Structures and the Semantics of Recursion (SM, LSM, DS), pp. 312–327.