Misplaced Pages

The following pages link to Principal type

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 14 items.

• Curry–Howard correspondence (links | edit)
• Simply typed lambda calculus (links | edit)
• Generalized algebraic data type (links | edit)
• Principle type (redirect page) (links | edit)
• Hindley–Milner type system (links | edit)
• Kappa calculus (links | edit)
• Principal typing (redirect page) (links | edit)
• Talk:Principal type (transclusion) (links | edit)
• User:Alai/orphansP-R (links | edit)
• User:VeblenBot/List of mathematical logic articles (links | edit)
• User:Ruud Koot/Computer science (links | edit)
• User:Zarzuelazen/Books/Reality Theory: Computational&Non-Classical Logic (links | edit)
• User talk:Arthur Rubin/Archive 2009 (links | edit)
• Category talk:Type theory (links | edit)