397 search results - page 17 / 80 » The lambda calculus is algebraic |
106
Voted
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
146
click to vote
WOLLIC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We define a notion of recognizable sets of simply typed λterms that extends the notion of recognizable sets of strings or trees. This definition is based on finite mo...
CSL
2009
Springer
15 years 11 months ago
2009
Springer
