|
||||
Name: Proof Theory as an Alternative to Model Theory Description: Short article by Dale Miller, arguing that logic programming languages should base their semantics on proof theory, no Category: Proof Theory Url: http://www-lp.doc.ic.ac.uk/UserPages/staff/ft/alp/comment/proof.html Date: 11-03-2002 Current Rating: 5.00
|
||||
|
Something wrong with this resource? Report this link as broken |
||||
