the church-rosser property for ##-reduction in typed #-calculi (1992)

by Herman Geuvers
Venue:In Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science