Roy Dyckho

发表

Strong normalisation of Herbelin ' s explicit substitution calculus with substitution propagation

Roy Dyckho, 2001 .

Loop � free construction of counter � models for intuitionistic propositional logic

Roy Dyckho, 1995 .