The notion of a framework and a framework for LTC (1988)

by Paul F Mendler, Peter Aczel
Venue:In Proceedings ofthe ThirdAnnual Symposium on Logic in Computer Science