233 search results - page 5 / 47 » Computational Lambda-Calculus and Monads |
RTA
2005
Springer
14 years 28 days ago
2005
Springer
TLCA
2007
Springer
14 years 1 months ago
2007
Springer
BIRTHDAY
2005
Springer
14 years 1 months ago
2005
Springer
CCA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract Stone Duality is a revolutionary theory that works directly with computable continuous functions, without using set theory, infinitary lattice theory or a prior theory o...
FCT
2005
Springer
14 years 1 months ago
2005
Springer
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...