User:Txa
From Wikipedia, the free encyclopedia
You have
new messages
(
last change
).
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
Views
User page
Discussion
Current revision
Navigation
Main page
Contents
Featured content
Current events
interaction
About Wikipedia
Community portal
Contact us
Make a donation
Help
Search