Expansion postponement for normalising pure type systems

DOI10.1017/S095679689700292XzbMath0918.03020WikidataQ127770376 ScholiaQ127770376MaRDI QIDQ4236762

Erik Poll

Publication date: 17 August 1999

Published in: Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

typecheckingexpansion postponementnormalising pure type systems

Mathematics Subject Classification ID

Logic in computer science (03B70) General topics in the theory of software (68N01)

Related Items (2)

Cut Elimination in a Class of Sequent Calculi for Pure Type Systems ⋮ An induction principle for pure type systems

This page was built for publication: Expansion postponement for normalising pure type systems