Discover open access scientific publications

Search, annotate, share and cite publications

Publications by R.P. Nederpelt

Strong Normalization in a Typed Lambda Calculus With Lambda Structured Types

Studies in Logic and the Foundations of Mathematics

English