Mogensen

Mogensen is a surname of Danish origin which may refer to:

People

Other

  • Mogensen-Scott encoding, a way to embed inductive datatypes in the lambda calculus
gollark: ++data list % global yes
gollark: Great, that seems fixed.
gollark: --data list % global yes
gollark: --data set_global beeoid 5
gollark: --data set_global beeoid 4
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.