steshaw/plt

Programming Language Theory λΠ

★ 5.4K Stars

⑂ 344 Forks

○ 5.4K Watchers

✖ 0 Issues

CSS

category-theory functional-programming logic programming-languages proof-theory type-theory

Last push: 1y ago

Created:

Loading additional information…