4

我找到了这个webapp，它可以让你为给定的类型生成一个免费的定理。

生成的定理量化了这些类型的类型和关系。这些定理（公式）是哪个理论/逻辑系统的定理？这个系统与语言的等式理论有什么关系？

4

1 回答 1

2

请参阅介绍这一切的论文。

http://ttic.uchicago.edu/~dreyer/course/papers/wadler.pdf

在此处输入图像描述

于 2013-01-08T12:52:52.430 回答