A study of syntactic and semantic artifacts and its application to lambda definability, strong normalization, and weak normalization in the presence of state (2008)

by Johan Munk
Citations:4 - 0 self