Revision history of "User:Rsimmons/Lecture 23: Typed Lambda Calculus in Twelf"

Diff selection: mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.

Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

(cur | prev) 13:44, 24 November 2008 Rsimmons (Talk | contribs) m (User:Rsimmons/Lecture 23: Proofs In Twelf moved to User:Rsimmons/Lecture 23: Typed Lambda Calculus in Twelf: Truth in advertising) (undo)
(cur | prev) 13:20, 24 November 2008 Rsimmons (Talk | contribs) (4,691 bytes) (undo)
(cur | prev) 13:19, 24 November 2008 Rsimmons (Talk | contribs) (4,678 bytes) (undo)
(cur | prev) 13:00, 24 November 2008 Rsimmons (Talk | contribs) (3,765 bytes) (undo)
(cur | prev) 12:33, 24 November 2008 Rsimmons (Talk | contribs) (2,146 bytes) (undo)
(cur | prev) 12:26, 24 November 2008 Rsimmons (Talk | contribs) (1,637 bytes) (New page: %{ === Syntax === }% %{ We have a programming language that we started last time that we want to represent in Twelf. First the types "on paper:" τ ::= unit | τ → τ ... and then, ...)