A Direct Algorithm for the Type Interference in the Rank 2 Fragment of the Second--Order λ-Calculus

OpenBU

Files in this item

This item appears in the following Collection(s)

Search OpenBU


Advanced Search

Browse

Deposit Materials