User loginNavigation 
A question for the theory guysWhat is the relation between programming languages, model theory, and proof theory? I heard proof theory is more concerned with "syntax" whereas model theory is more concerned with "semantics". Would it be true to say that operational semantics corresponds to proof theory and denotational semantics to model theory? If yes, how exactly do they relate to each other? By the way, a small related question: What exactly is a "theory" when someone says, he developed (say) a "Theory of Objects" like Abadi/Cardelli? By Klaus Ostermann at 20050203 15:32  LtU Forum  previous forum topic  next forum topic  other blogs  5326 reads

Browse archivesActive forum topics 
Recent comments
3 days 21 hours ago
1 week 5 days ago
2 weeks 5 hours ago
2 weeks 5 hours ago
2 weeks 5 hours ago
2 weeks 6 hours ago
2 weeks 6 hours ago
2 weeks 8 hours ago
2 weeks 12 hours ago
2 weeks 14 hours ago