Search Sciweavers | Sciweavers

397 search results - page 21 / 80

» The lambda calculus is algebraic

click to vote

APLAS
2010
ACM

106views Programming Languages» more APLAS 2010»

Relational Parametricity for a Polymorphic Linear Lambda Calculus

14 years 12 months ago

Download www.cis.upenn.edu

Jianzhou Zhao, Qi Zhang, Steve Zdancewic

claim paper

Read More »

click to vote

ENTCS
2007

113views more ENTCS 2007»

A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F

14 years 11 months ago

Download www.cs.bu.edu

We formalize in the logical framework ATS/LF a proof based on Tait’s method that establishes the simply-typed lambda-calculus being strongly normalizing. In malization, we emplo...

Kevin Donnelly, Hongwei Xi

claim paper

Read More »

click to vote

ENTCS
2007

86views more ENTCS 2007»

Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures

14 years 11 months ago

Download www.ki.informatik.uni-frankfurt.de

Joachim Niehren, David Sabel, Manfred Schmidt-Scha...

claim paper

Read More »

click to vote

LMCS
2006

84views more LMCS 2006»

Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative

14 years 11 months ago

Download www.brics.dk

Kristian Støvring

claim paper

Read More »

Voted

JFLP
2000

30views more JFLP 2000»

Metatheoretic Results for a Modal lambda-Calculus

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers