Ivar Rummelhoff

Learn More
The polymorphic lambda-calculus can be modelled using PERs on a partial combi-natory algebra. We say that the type of natural numbers (polynat) is polymorphi-cally standard in such a model if the interpretation of the type only contains (the interpretations of) the Church numerals. We show that this is not always the case by constructing an explicit(More)
  • 1