Analysis of a guard condition in type theory (extended abstract (1998)

by G Barthe, M J Frade, E Gimenez, L Pinto, T Uustalu
Venue:In M. Nivat (editor), Proceedings of FoSSaCS'98, Lecture Notes in Computer Science 1378