Theory interpretation in simple type theory
Book chapter (January 1994)
The most recent citing publications are shown below. View all 8 publications that cite this research output on Dimensions.
Book chapter (January 1994)
Book chapter (January 1991)
Article in IEEE Transactions on Software Engineering (January 1989)