Search Sciweavers | Sciweavers

680 search results - page 30 / 136

» Types for the Ambient Calculus

127

click to vote

ENTCS
2007

113views more ENTCS 2007»

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

15 years 4 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

15 years 4 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

15 years 4 months ago

Download web.cs.wpi.edu

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

claim paper

Read More »

102

click to vote

SCP
2008

55views more SCP 2008»

XPi: A typed process calculus for XML messaging

15 years 4 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

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers