User:Txa: Difference between revisions

Hi there,

I am Thorsten, see my web homepage.

My contributions

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