iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/tcs/Hindley79.rdf
J. Roger Hindley: The Discrimination Theorem Holds for Combinatory Weak Reduction. (1979) journals/tcs/Hindley79 10.1016/0304-3975(79)90019-7 The Discrimination Theorem Holds for Combinatory Weak Reduction. 1 J. Roger Hindley 1 393-394 Theor. Comput. Sci. Theor. Comput. Sci. 8 1979 provenance information for RDF data of dblp record 'journals/tcs/Hindley79' 2021-02-17T21:57:45+0100