James McKinna · 2 obras en el catálogoObrasTypes for proofs and programsTypes for Proofs and Programs