Stable models of typed -calculus (1978)

by G`erard Berry
Venue:In International Colloquium on Automata, Languages and Programs