Title: Isomorphisms of types
First published: 1995
Subjects: Type theory, Human-computer interaction, Programming languages (Electronic computers), Computer software, Human factors
LC classification: QA76.7 .D5 1995