On Explicit Substitution with Names von Rose, Kristoffer H., Bloo, Roel, Lang, Frédéric

Volltext

Pure type systems with explicit substitution von BLOO, ROEL

Volltext

Explicit substitution on the edge of strong normalization von Bloo, Roel, Geuvers, Herman

Volltext

The Barendregt Cube with Definitions and Generalised Reduction von Bloo, Roel, Kamareddine, Fairouz, Nederpelt, Rob

Volltext

On Π-conversion in the λ-cube and the combination with abbreviations von Kamareddine, Fairouz, Bloo, Roel, Nederpelt, Rob

Volltext

Parameters in Pure Type Systems von Bloo, Roel, Kamareddine, Fairouz, Laan, Twan, Nederpelt, Rob

Volltext

Combinatory reduction systems with explicit substitution that preserve strong normalisation von Bloo, Roel, Rose, Kristoffer H.

Volltext

De Bruijn's syntax and reductional behaviour of λ-terms: the typed case von Kamareddine, Fairouz, Bloo, Roel

Volltext

De Bruijn's syntax and reductional behaviour of λ-terms: the untyped case von Kamareddine, Fairouz, Bloo, Roel

Volltext