Sciweavers

151 search results - page 1 / 31
» Strong normalization from an unusual point of view
Sort
View
TCS
2011
12 years 10 months ago
Strong normalization from an unusual point of view
A new complete characterization of β-strong normalization is given, both in the classical and in the lazy λ-calculus, through the notion of potential valuability inside two suit...
Luca Paolini, Elaine Pimentel, Simona Ronchi Della...
TLCA
2001
Springer
13 years 8 months ago
Strong Normalization of Classical Natural Deduction with Disjunction
We introduce λµ→∧∨⊥ , an extension of Parigot’s λµ-calculus where disjunction is taken as a primitive. The associated reduction relation, which includes the permutati...
Philippe de Groote
IFIP
2004
Springer
13 years 9 months ago
The Simply-typed Pure Pattern Type System Ensures Strong Normalization
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...
Benjamin Wack
ICCV
2003
IEEE
14 years 5 months ago
Polarization-based Transparent Surface Modeling from Two Views
In this paper, we propose a novel method to recover the surface shape of transparent objects. The degree of polarization of the light reflected from the object surface depends on ...
Daisuke Miyazaki, Masataka Kagesawa, Katsushi Ikeu...
WSC
2004
13 years 5 months ago
More "Normal" Than Normal: Scaling Distributions and Complex Systems
One feature of many naturally occurring or engineered complex systems is tremendous variability in event sizes. To account for it, the behavior of these systems is often described...
Walter Willinger, David Alderson, John C. Doyle, L...