Journey From Imperative to Functional Programming
Tuesday, December 30, 2014
"logic models provability rather than truth"
Nice
post
on Type System and Logic.
No comments:
Post a Comment
‹
›
Home
View web version
No comments:
Post a Comment