Hereditarily sequential functionals
Logical Foundations of Computer Science, 1994
Abstract In order to define models of simply typed functional programming languages being closer ... more Abstract In order to define models of simply typed functional programming languages being closer to the operational semantics of these languages, the notions'of sequentiality, stability and seriality were introduced. These works originated from the definability problem for PCF, posed in [ ...
Uploads
Papers by Hanno Nickau