Search Sciweavers | Sciweavers

680 search results - page 30 / 136

» Types for the Ambient Calculus

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

93views more ENTCS 2007»

Types for Access Control in a Calculus of Mobile Resources

13 years 7 months ago

Download www.brics.dk

Hans Hüttel, Morten Kühnrich

claim paper

Read More »

click to vote

MSCS
2006

87views more MSCS 2006»

Addressed term rewriting systems: application to a typed object calculus

13 years 7 months ago

Download web.cs.wpi.edu

Daniel J. Dougherty, Pierre Lescanne, Luigi Liquor...

claim paper

Read More »

click to vote

SCP
2008

55views more SCP 2008»

XPi: A typed process calculus for XML messaging

13 years 7 months ago

Download www.cduce.org

Lucia Acciai, Michele Boreale

claim paper

Read More »

click to vote

IANDC
2002

72views more IANDC 2002»

Syntactic Type Soundness Results for the Region Calculus

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers