logo标签列表

自由定理和参数性

mathhaskelltypesfunctional-programminglogic
4
我找到了这个Web应用程序，可以为给定的类型生成一个自由定理。
生成的定理对类型和这些类型上的关系进行量化。这些定理（公式）是哪个理论/逻辑系统的定理？该系统如何与语言的等式理论相关？
2
如果你还没有浏览过这个链接，你可能会想要看一下。 - C. A. McCann
3
欢迎来到Stack Overflow！您的问题似乎不适合在Stack Overflow上提问。它可能更适合我们的姊妹网站http://cs.stackexchange.com/。 - Ilmari Karonen
1个回答
2
网页内容由stack overflow 提供, 点击上面的
可以查看英文原文，
原文链接