C. Bloo

Preservation of strong normalisation for explicit substitution

Cj Roel Bloo, C. Bloo, 1995 .

On Pi-conversion in type theory

Rp Rob Nederpelt, Fairouz Kamareddine, C. Bloo, 1994 .

The lambda-cube with classes of terms modulo conversion

Fairouz Kamareddine, Rp Rob Nederpelt, Cj Roel Bloo, 1994 .

Characterizing lambda-terms with equal reduction behavior

Rp Rob Nederpelt, Fairouz Kamareddine, C. Bloo, 2000 .

Preservation of termination for explicit substitution

Cj Roel Bloo, C. Bloo, 1997 .

On Pi-conversion in type theory

Rp Rob Nederpelt, C. Bloo, F. Kamareddine, 1994 .