From Wikipedia, the free encyclopedia

Hi there,

I am Thorsten, see my web homepage.

[edit] My contributions

• Intuitionistic Type Theory
• Per Martin-Löf
• Typed lambda calculus
• Simply typed lambda calculus
• Epigram programming language