397 search results - page 34 / 80 » The lambda calculus is algebraic |
110
click to vote
SIGMOD
2007
ACM
15 years 12 months ago
2007
ACM
We survey expressivity results for navigational frag
FOSSACS
2005
Springer
15 years 5 months ago
2005
Springer
GLOBECOM
2009
IEEE
15 years 3 months ago
2009
IEEE
A challenging research issue of analyzing networks where packets are served probabilistically, such as multi-access networks and wireless networks, is to characterize the stochasti...
CORR
2012
Springer
13 years 7 months ago
2012
Springer
CORR
2011
Springer
14 years 6 months ago
2011
Springer
—A system of linear dependent types for the lambda calculus with full higher-order recursion, called d PCF, is introduced and proved sound and relatively complete. Completeness h...