Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
特定のタイプの自由定理を生成できるこのwebappを見つけました。
生成された定理は、型とこれらの型の関係を定量化します。これらの定理(式)は、どの理論・論理体系の定理ですか?このシステムは、言語の等式理論とどのように関係していますか?
そのすべてを紹介した論文を参照してください。
http://ttic.uchicago.edu/~dreyer/course/papers/wadler.pdf