Revision as of 08:42, 2 December 2004 edit Charles Matthews (talk \| contribs) Autopatrolled, Administrators 367,878 edits m →[[Combinatory logic]]: SKI combinator calculus ← Previous edit		Revision as of 11:17, 5 February 2005 edit undo Charles Matthews (talk \| contribs) Autopatrolled, Administrators 367,878 edits m →[[Intuitionistic logic]]: bypass redir Next edit →
Line 35: [[Sequent]], [[sequent calculus]] [[Natural deduction]] [[Curry-Howard ~~isomorphism~~]] [[Linear logic]] *[[Game semantics]]

List of functional programming topics: Difference between revisions