User:Txa

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