在 Google 搜尋 Type Theory

一時興起在 Google 找了在台灣網域或中文網頁下,有出現 Type Theory ,型別理論或類型論的網頁到底有多少,順便看看有沒有人作,結果 …

翁書均、穆老大、Josh、jaiyalascs … … …

Advertisements

2 thoughts on “在 Google 搜尋 Type Theory

  1. 其實跟書鈞合作過的政大老師陳恭最初也應該是做 type theory 的。但到 dependent type 這邊他就沒有再做了…

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s