Lobsters
- Type Theory and Functional Programming (1999) https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ttfp.pdf 2 comments book , formalmethods , pdf , programming
- Type Theory: Equality (I(A,a,b)) https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ttfp.pdf 11 comments compsci
- Type Theory: ⇒ https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ttfp.pdf 6 comments math
- Question about "Type Theory & Functional Programming" https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ttfp.pdf 17 comments haskell
Linking pages
Related searches:
Search whole site: site:www.cs.kent.ac.uk
Search title: Type Theory and Functional Programming (1999)
See how to search.