Links

TYPES 1993: International Workshop on Types for Proofs and Programs 1993

in ,

About the Conference

Conference Dates

Proceedings

    runs on