Don't Panic!

  • Home
  • Archives

logic

2015-05-03

The Church-Rosser Theorem

2015-04-24

Proof of weak normalization property in STLC

Categories

  • ML6
  • PLT4
  • TCS2
  • fun2
  • notes1
  • tips2
  • tweak3

Tags

  • Coq1
  • EVA1
  • Information theory2
  • art1
  • distributed2
  • game1
  • haskell2
  • javascript2
  • lambda-calculus2
  • logic2
  • machine learning1
  • math3
  • ml1
  • paper2
  • philosophy1
  • physics2
  • scala1
  • shell1
  • spark1
  • statistics3
  • theology1
  • vim2
  • vimperator3
  • zsh1
  • ツッコミ1
  • 中二病1
© 2017 Farseer He