Category:Type theory

From TheBestLinks.com

Articles in category "Type theory"

There are 4 articles in this category.

C

• Curry-Howard correspondence

E

• Effect system

L

• LF (logical framework)

T

• Type theory

Related links

---

Top visited 0 of 0 links

[no links posted yet]

>> place link >>

Discussion

Last posted 0 of 0 messages

[no messages posted yet]

>> post message >>

Watch

You can add this article to your own "watchlist" and receive e-mail notification about all changes in this page.