Search Sciweavers | Sciweavers

239 search results - page 17 / 48

» The Safe Lambda Calculus

146

click to vote

WOLLIC
2009
Springer

136views Artificial Intelligence» more WOLLIC 2009»

Recognizability in the Simply Typed Lambda-Calculus

15 years 11 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

15 years 11 months ago

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

Eijiro Sumii

claim paper

Read More »

174

click to vote

CEFP
2007
Springer

393views Programming Languages» more CEFP 2007»

An Introduction to the Lambda Calculus

15 years 10 months ago

Download www.dcc.uchile.cl

Zoltán Csörnyei, Gergely Dévai

claim paper

Read More »

120

click to vote

CEFP
2007
Springer

155views Programming Languages» more CEFP 2007»

Abstract lambda-Calculus Machines

15 years 10 months ago

Download www.informatik.uni-kiel.de

Werner E. Kluge

claim paper

Read More »

click to vote

BIRTHDAY
2005
Springer

96views Applied Computing» more BIRTHDAY 2005»

Sharing in the Weak Lambda-Calculus

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers