Unbiased discussion forum for scientists. Open scientific community.
>
Formal sciences
>
Computer sciences
>
Programming languages
> Type theory
PDA
View Full Version :
Type theory
vBulletin® v3.7.0, Copyright ©2000-2009, Jelsoft Enterprises Ltd.