Pages with the most categories
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)
- Negation as failure (4 categories)
- %subord (4 categories)
- Letrec (4 categories)
- Sets and supersets (4 categories)
- POPL Tutorial/Pattern matching (4 categories)
- Pattern matching (4 categories)
- Correctness of mergesort (4 categories)
- Zermelo Frankel (3 categories)
- Sudoku (3 categories)
- Fixity declaration (3 categories)
- Mutable state (3 categories)
- Output freeness (3 categories)
- %total (3 categories)
- Church-Rosser via complete development (3 categories)
- Natural numbers with inequality (3 categories)
- C machine and focusing (internalized compositon) (2 categories)
- Computation and Deduction 2009/20090203 (2 categories)
- Computation and Deduction 2009/20090325 (2 categories)
- Computation and Deduction 2009/20090422 (2 categories)
- Hereditary substitution (2 categories)
- Judgment (2 categories)
- Meta-logic (2 categories)
- POPL Tutorial/Big step, small step: Solution (2 categories)
- POPL Tutorial/Combinators session (answers) (2 categories)
- POPL Tutorial/MinML Preservation Theorem: Solution (2 categories)
- POPL Tutorial/Session 2 Answer (2 categories)
- POPL Tutorial/Typed bracket abstraction with equivalence (2 categories)
- Subordination (2 categories)
- Summer school 2008:Encoding of System F (2 categories)
- Summer school 2008:Typed arithmetic expressions (value) (2 categories)
- Tactical theorem proving (2 categories)
- User's Guide (2 categories)
- CADE Tutorial/Basics Answer (2 categories)
- Canonical form (2 categories)
- Computation and Deduction 2009/20090204 (2 categories)
- Computation and Deduction 2009/20090330 (2 categories)
- Computation and Deduction 2009/20090427 (2 categories)
- Dependent types (2 categories)
- Evaluation contexts (2 categories)
- Hereditary substitution for the STLC (2 categories)
- LF (2 categories)
- MinMLToMinHaskell (2 categories)
- Numeric termination metrics (2 categories)
- POPL Tutorial/CPS Solution2 (2 categories)
- POPL Tutorial/Control machine (2 categories)
- POPL Tutorial/MinML Starter (2 categories)
- POPL Tutorial/Session 2 Script (2 categories)
- POPL Tutorial/cps (2 categories)
- Relation (2 categories)
- Summer school 2008:Type safety for MinML (extrinsic encoding) (2 categories)