Search Sciweavers | Sciweavers

194 search results - page 16 / 39

» An Introduction to the Lambda Calculus

click to vote

ICALP
2009
Springer

124views Programming Languages» more ICALP 2009»

On Constructor Rewrite Systems and the Lambda-Calculus

14 years 8 months ago

Download www.cs.unibo.it

Ugo Dal Lago, Simone Martini

claim paper

Read More »

click to vote

WOLLIC
2009
Springer

136views Artificial Intelligence» more WOLLIC 2009»

Recognizability in the Simply Typed Lambda-Calculus

14 years 2 months ago

Download www.labri.fr

Abstract. We deﬁne a notion of recognizable sets of simply typed λterms that extends the notion of recognizable sets of strings or trees. This deﬁnition is based on ﬁnite mo...

Sylvain Salvati

claim paper

Read More »

click to vote

CSL
2009
Springer

103views Automated Reasoning» more CSL 2009»

A Complete Characterization of Observational Equivalence in Polymorphic lambda-Calculus with General References

14 years 2 months ago

Download www.kb.ecei.tohoku.ac.jp

Eijiro Sumii

claim paper

Read More »

click to vote

CEFP
2007
Springer

155views Programming Languages» more CEFP 2007»

Abstract lambda-Calculus Machines

14 years 1 months ago

Download www.informatik.uni-kiel.de

Werner E. Kluge

claim paper

Read More »

click to vote

TLCA
2007
Springer

89views Theoretical Computer Science» more TLCA 2007»

The Safe Lambda Calculus

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers