Search Sciweavers | Sciweavers

424 search results - page 20 / 85

» A Lambda Calculus with Forms

click to vote

ENTCS
2007

113views more ENTCS 2007»

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

13 years 7 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 7 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 7 months ago

Download www.brics.dk

Kristian Støvring

claim paper

Read More »

click to vote

JFLP
2000

30views more JFLP 2000»

Metatheoretic Results for a Modal lambda-Calculus

13 years 7 months ago

Download hal.archives-ouvertes.fr

Joëlle Despeyroux, Pierre Leleu

claim paper

Read More »

click to vote

JFP
2002

94views more JFP 2002»

The lambda calculus is algebraic

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers