BabelNet

Search

bn:03641643n

Noun Named Entity

Categories: 型理論, ポリモーフィズム (計算機科学)

JA

System F システムF

JA

System F（システム・エフ）は、型付きラムダ計算の一体系であり、単純型付きラムダ計算に、型についての全称量化を取り入れた計算機構である。 Wikipedia

Definitions

Relations

Sources

JA

System F（システム・エフ）は、型付きラムダ計算の一体系であり、単純型付きラムダ計算に、型についての全称量化を取り入れた計算機構である。 Wikipedia

IS A

ラムダ計算

型付きラムダ計算

PART OF

ラムダ・キューブ

DIFFERENT FROM

フェリー・コーステン

DISCOVERER OR INVENTOR

ジョン・C・レイノルズ

ジャン＝イヴ・ジラール

Wikipedia

JA

System F

Wikidata

JA

System F

Wikipedia Redirections

JA

システムF

Wikidata Alias

JA

システムF