Search Sciweavers | Sciweavers

265 search results - page 17 / 53

» Lambda calculus with patterns

123

click to vote

CEFP
2007
Springer

393views Programming Languages» more CEFP 2007»

An Introduction to the Lambda Calculus

15 years 6 months ago

Download www.dcc.uchile.cl

Zoltán Csörnyei, Gergely Dévai

claim paper

Read More »

click to vote

CEFP
2007
Springer

155views Programming Languages» more CEFP 2007»

Abstract lambda-Calculus Machines

15 years 6 months ago

Download www.informatik.uni-kiel.de

Werner E. Kluge

claim paper

Read More »

Voted

TLCA
2007
Springer

89views Theoretical Computer Science» more TLCA 2007»

The Safe Lambda Calculus

15 years 5 months ago

Download william.famille-blum.org

William Blum, C.-H. Luke Ong

claim paper

Read More »

click to vote

BIRTHDAY
2005
Springer

96views Applied Computing» more BIRTHDAY 2005»

Sharing in the Weak Lambda-Calculus

15 years 5 months ago

Download pauillac.inria.fr

Tomasz Blanc, Jean-Jacques Lévy, Luc Marang...

claim paper

Read More »

click to vote

RTA
2005
Springer

95views Theoretical Computer Science» more RTA 2005»

Reduction in a Linear Lambda-Calculus with Applications to Operational Semantics

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers