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