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/conf/icalp/Coppo85.xml
Mario Coppo A Completeness Theorem for Recursively Defined Types. 120-129 1985 conf/icalp/1985 ICALP db/conf/icalp/icalp85.html#Coppo85 https://doi.org/10.1007/BFb0015737