Search Sciweavers | Sciweavers

200 search results - page 21 / 40

» The Intensional Lambda Calculus

click to vote

SLP
1993

91views more SLP 1993»

Unification in a Lambda-Calculus with Intersection Types

13 years 11 months ago

Download kwarc.info

Michael Kohlhase, Frank Pfenning

claim paper

Read More »

click to vote

APLAS
2010
ACM

106views Programming Languages» more APLAS 2010»

Relational Parametricity for a Polymorphic Linear Lambda Calculus

13 years 10 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

13 years 9 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

13 years 9 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

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers