194 search results - page 16 / 39 » An Introduction to the Lambda Calculus |
ICALP
2009
Springer
15 years 10 months ago
2009
Springer
WOLLIC
2009
Springer
15 years 4 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 4 months ago
2009
Springer
67
Voted
CEFP
2007
Springer
15 years 3 months ago
2007
Springer
58
Voted
TLCA
2007
Springer
15 years 3 months ago
2007
Springer