Concepedia

Johan Munk

JM

2

Publications

37

Citations

2

H-Index

2008

Active since

Affiliations

Agro Business Park(Current)

Johan Munk is an author at Agro Business Park specializing in engineering, automated reasoning, and computational linguistics.

Top concepts

Publications per year

2008–2012

2

Publications

2

On inter-deriving small-step and big-step semantics: A case study for storeless call-by-need evaluation

Olivier Danvy, Kevin Millikin, Johan Munk et al. · Theoretical Computer Science · 2012 · 24 citations

, , +17

A Study of Syntactic and Semantic Artifacts and its Application to Lambda Definability, Strong Normalization, and Weak Normalization in the Presence of...

Johan Munk · BRICS Report Series · 2008 · 13 citations · Full text

, , +23

Rows per page

1–2 of 2