Jim Lipton HyperMedia Plan File
Jim Lipton
Assoc. Prof. of Computer Science, Dept. of Mathematics, Wesleyan University.
| Email:
jlipton@wesleyan.edu
|
| Dept. of Mathematics, Wesleyan University,
Middletown CT 06459. |
| Phone: +1 (860) 685-2188 |
| Fax: +1 (860) 685-2571 |
| Home address in Middletown:
|
| 25 Highland Terrace, |
| Middletown, CT 06457 |
| (tel) (860) 344 8246 |
Current or recent
COMPUTER SCIENCE
course descriptions
To get to my house from Wesleyan
University:
More directions from other points
(Bradley airport)
Research Topics
Relational Programming, Categories and Logic Programming,
Intuitionistic Semantics, Constructive set theory, Linear Logic.
Other Wesleyan Home Pages
Curso de
:
UPM, Dic. 1997
Other Home Pages of interest
Some internet resources in Computing
Some internet resources in Computational Logic and Logic Programming
- The
World Wide Web Virtual Library:
-
Formal Methods
...
--- [568] http://www.comlab.ox.ac.uk/archive/logic-prog.html (32K)
The Association for Logic Programming - ALP
Other interesting pages
Some quotes taken from the student net at Wesleyan...
-
"More computing sins are committed in the name of efficiency (without necessarily achieving it) than for any other single
reason - including blind stupidity."
W.A. Wulf
-
"We should forget about small efficiencies, say about 97% of the time: premature optimization is the root of all evil."
Donald Knuth
-
"The best is the enemy of the good."
Voltaire
-
"The love of liberty is the love of others; the love of power is the
love of ourselves."
William Hazlitt
Other resources
Wesleyan University
Return to the wesleyan home
page at any time by clicking on the Wesleyan Shield.