Stable models of typed -calculi (1978)

by G Berry
Venue:In Proceedings of the 5th International Colloquium on Automata, Languages and Programming, number 62 in LNCS