Topological completeness in an ideal model for polymorphic types

• Authors:

• E. E. Doberkat

• Affiliations:

• -

• Venue:
• SIAM Journal on Computing
• Year:
• 1989