Search results
Jump to navigation
Jump to 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,252 words) - 05:28, 1 September 2022