Revision as of 11:48, 31 March 2005 edit Karada (talk \| contribs) Extended confirmed users 24,485 edits **Glasgow Haskell Compiler ← Previous edit		Revision as of 11:34, 23 May 2005 edit undo Charles Matthews (talk \| contribs) Autopatrolled, Administrators 367,848 edits m →[[Intuitionistic logic]] Next edit →
Line 35: [[Sequent]], [[sequent calculus]] [[Natural deduction]] [[Intuitionistic type theory]] [[BHK interpretation]] [[Curry-Howard]] [[Linear logic]]

List of functional programming topics: Difference between revisions