Long pages
From The Twelf Project
Showing below up to 50 results in range #1 to #50.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)
- (hist) Indexed HOAS nat bijection [581,923 bytes]
- (hist) HOAS nat bijection [252,103 bytes]
- (hist) Lily [138,061 bytes]
- (hist) Hereditary substitution for the STLC (part 2) [60,265 bytes]
- (hist) Lax logic [58,986 bytes]
- (hist) Focusing [50,372 bytes]
- (hist) Linear logic [47,508 bytes]
- (hist) User-defined constraint domain [45,671 bytes]
- (hist) Hereditary substitution for the STLC [35,247 bytes]
- (hist) Big algebraic solver [34,556 bytes]
- (hist) Typed combinators soundness and completeness [34,269 bytes]
- (hist) Concrete representation [30,432 bytes]
- (hist) Correctness of mergesort [27,002 bytes]
- (hist) CPS conversion [26,809 bytes]
- (hist) Bibliography of LF [26,149 bytes]
- (hist) Pattern matching [25,889 bytes]
- (hist) Classical S5 [25,782 bytes]
- (hist) First-order encodings [24,657 bytes]
- (hist) Mutable state [23,976 bytes]
- (hist) Double-negation translation [19,933 bytes]
- (hist) Weak focusing [19,293 bytes]
- (hist) POPL Tutorial/Properties of Typing and Reduction [17,106 bytes]
- (hist) POPL Tutorial/Typed bracket abstraction with equivalence [16,027 bytes]
- (hist) POPL Tutorial/Session 2 Answer [15,779 bytes]
- (hist) Debugging coverage errors [15,658 bytes]
- (hist) Computation and Deduction 2009/20090429 [15,550 bytes]
- (hist) Church-Rosser via complete development [14,503 bytes]
- (hist) Admissibility of cut [14,334 bytes]
- (hist) Signatures as logic programs [13,899 bytes]
- (hist) POPL Tutorial/Big step, small step [13,631 bytes]
- (hist) Letrec [13,048 bytes]
- (hist) Computation and Deduction 2009/20090427 [12,851 bytes]
- (hist) Reformulating languages to use hypothetical judgements [12,744 bytes]
- (hist) Verifications and uses [12,598 bytes]
- (hist) POPL Tutorial/Pattern matching [12,453 bytes]
- (hist) Church-Rosser (w/ catch-all case) [12,389 bytes]
- (hist) Twelf style guide [12,303 bytes]
- (hist) Church-Rosser (w/ identity reduction) [12,141 bytes]
- (hist) POPL Tutorial/Big step, small step: Solution [12,131 bytes]
- (hist) Substitution lemma [11,973 bytes]
- (hist) POPL Tutorial/Church Rosser (Problem) [11,492 bytes]
- (hist) Computation and Deduction 2009/20090408 [11,393 bytes]
- (hist) Metatheorem [11,291 bytes]
- (hist) Lists [11,049 bytes]
- (hist) Uniqueness lemma [10,718 bytes]
- (hist) POPL Tutorial/Cost semantics [10,497 bytes]
- (hist) Polarized PCF [10,347 bytes]
- (hist) Strengthening [10,056 bytes]
- (hist) Structural metrics [9,603 bytes]
- (hist) CADE Tutorial/Basic error messages [9,399 bytes]