The Church-Rosser Property for beta-eta-reduction in Typed lambda-Calculi - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Herman Geuvers. The Church-Rosser Property for beta-eta-reduction in Typed lambda-Calculi. In Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 22-25 June 1992, Santa Cruz, California, USA. pages 453-460, IEEE Computer Society, 1992.

The following publications are possibly variants of this publication:

On the Church-Rosser Property for Expressive Type Systems and its Consequences for their Metatheoretic StudyHerman Geuvers, Benjamin Werner. lics 1994: 320-329

runs on WebDSL