2,599 followers
5,744 followers
"Stable domain for typed lambda calculi" introduced me to compactness in domain theory, great ref article by G Berry http://t.co/PvAVow5zXe
"Stable domain for typed lambda calculi" introduced me to compactness in domain theory, great ref article by G Berry http://t.co/PvAVow5zXe