Search Sciweavers | Sciweavers

424 search results - page 17 / 85

» A Lambda Calculus with Forms

141

Voted

CEFP
2007
Springer

155views Programming Languages» more CEFP 2007»

Abstract lambda-Calculus Machines

15 years 11 months ago

Download www.informatik.uni-kiel.de

Werner E. Kluge

claim paper

Read More »

119

click to vote

TLCA
2007
Springer

89views Theoretical Computer Science» more TLCA 2007»

The Safe Lambda Calculus

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

Download pauillac.inria.fr

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

claim paper

Read More »

137

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 11 months ago

Download homepages.inf.ed.ac.uk

Alex K. Simpson

claim paper

Read More »

122

click to vote

LICS
1999
IEEE

95views Automated Reasoning» more LICS 1999»

Region Analysis and the Polymorphic Lambda Calculus

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers