Revision as of 15:37, 17 May 2004 edit Charles Matthews (talk \| contribs) Autopatrolled, Administrators 367,848 edits m =Type theory= fx lk ← Previous edit		Revision as of 15:47, 17 May 2004 edit undo Charles Matthews (talk \| contribs) Autopatrolled, Administrators 367,848 edits m lks Next edit →
Line 28: ==[[Intuitionistic logic]]== [[Sequent]], [[sequent calculus]] [[Natural deduction]] [[Curry-Howard isomorphism]] [[Linear logic]] Line 93 ⟶ 95: [[Nemerle]] [[Scheme programming language]] *[[SISAL]]

List of functional programming topics: Difference between revisions