The Church-Rosser Property for fij-Reduction in Typed -Calculi. Seventh. Ann (1992)

by H Geuvers
Venue:IEEE Symp. on Lofic in Comp. Sci., IEEE Computer