対空 捜索 レーダー として は 、 当初 は マイクロ ・ ラムダ 社 （ 現在 の SELEX 社 ） の MLA - 1 を 搭載 し て い た が 、 1960 年 に 全 艦 で アメリカ 製 の AN / SPS - 6 に 換装 し た 。

MLA - 1 は 、 イタリア の マイクロ ラムダ （ Microlambda ） 社 が 開発 し た 2 次元 レーダー 。

なお マイクロ ラムダ 社 は 、 イタリア の フィンメッカニカ 社 と アメリカ合衆国 の レイセオン 社 による 合弁 企業 で あり 、 現在 の SELEX 社 に 通じる 系譜 で ある 。

カリー の 挙げ た 例 の 一つ は 、 単純 型付き ラムダ 計算 と 直観 主義 論理 の 対応 で ある 。