|
This verey interesting paper discusses various relations between CS and logic. Some examples come from PL research (propositions-as-types, semantics etc.); the other examples, though less related to LtU, are also quite interesting (e.g., reasoning about knowledge, automatic verification).
Posted to theory by Ehud Lamm on 6/19/01; 4:05:59 AM
|
|
On the Unusual Effectiveness of Logic in Computer Science
