• Type Theory and Functional Programming (1999) https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ttfp.pdf 2 comments 6/8/2018 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 12/7/2015 compsci
• Type Theory: ⇒ https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ttfp.pdf 6 comments 9/7/2015 math
• Question about "Type Theory & Functional Programming" https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ttfp.pdf 17 comments 9/1/2015 haskell

Linking pages

Related searches:

Search whole site: site:cs.kent.ac.uk

Search title: Type Theory and Functional Programming (1999)

See how to search.