Search results

Jump to: navigation, search
  • ;[http://www.zerny.dk/danvy-al-tcs12.pdf On Inter-deriving Small-step and Big-step Semantics: :Olivier Danvy, Kevin Millikin, Johan Munk, and Ian Zerny. ''Theoretical Computer Science'', 435:21–42, 2012.
    9 KB (1,225 words) - 22:16, 25 March 2022