Strong Normalization of Herbelin's Explicit Substitution Calculi with Substitution Propagation

Roy Dyckhoff; C Urban

Strong Normalization of Herbelin's Explicit Substitution Calculi with Substitution Propagation

Roy Dyckhoff, C Urban

Research output: Contribution to conference › Paper › peer-review

Original language	English
Pages	26-45
Publication status	Published - 2001

Cite this

@conference{4fe3e0881b6c40f29026f32f5b2da18f,

title = "Strong Normalization of Herbelin's Explicit Substitution Calculi with Substitution Propagation",

author = "Roy Dyckhoff and C Urban",

note = "Proc 4th Workshop on Explicit Substitutions Theory and Applications (WESTAPP 01). Edited by Pierre Lescanne. Logic Group Preprint series No 210, Institute of Philosophy, University of Utrecht,",

year = "2001",

language = "English",

pages = "26--45",

}

TY - CONF

T1 - Strong Normalization of Herbelin's Explicit Substitution Calculi with Substitution Propagation

AU - Dyckhoff, Roy

AU - Urban, C

N1 - Proc 4th Workshop on Explicit Substitutions Theory and Applications (WESTAPP 01). Edited by Pierre Lescanne. Logic Group Preprint series No 210, Institute of Philosophy, University of Utrecht,

PY - 2001

Y1 - 2001

UR - http://www.dcs.st-and.ac.uk/research/publications/DU01.php

M3 - Paper

SP - 26

EP - 45

ER -

Strong Normalization of Herbelin's Explicit Substitution Calculi with Substitution Propagation

Other files and links

Cite this