User:Txa From Wikipedia, the free encyclopedia I am Thorsten, see my web homepage. Hi there, My contributions Intuitionistic Type Theory Per Martin-Löf Typed lambda calculus Simply typed lambda calculus Epigram programming language Related Articles