261 search results - page 8 / 53 » Proof Normalization Modulo |
CORR
2008
Springer
15 years 1 months ago
2008
Springer
This paper presents simple, syntactic strong normalization proofs for the simply-typed -calculus and the polymorphic -calculus (system F) with the full set of logical connectives, ...
116
click to vote
RTA
2007
Springer
15 years 7 months ago
2007
Springer
We present a method of lifting to explicit substitution calculi some characterizations of the strongly normalizing terms of λ-calculus by means of intersection type systems. The m...
116
click to vote
ASIAN
2006
Springer
15 years 4 months ago
2006
Springer
Given an arbitrary intruder deduction capability, modeled as an inference system S and a protocol, we show how to compute an inference system bS such that the security problem for ...
TCS
2010
14 years 11 months ago
2010
Web services are distributed processes with a public description of their behavior, or contract. The availability of repositories of Web service descriptions enables interesting f...
TLCA
1993
Springer
15 years 5 months ago
1993
Springer