Sciweavers

5451 search results - page 57 / 1091
» Typed Operational Semantics
Sort
View
COLING
1994
15 years 3 months ago
On the Proper Role of Coercion in Semantic Typing
James Pustejovsky, Pierrette Bouillon
112
Voted
COGSCI
2010
114views more  COGSCI 2010»
15 years 2 months ago
Strudel: A Corpus-Based Semantic Model Based on Properties and Types
Computational models of meaning trained on naturally occurring text successfully model human performance on tasks involving simple similarity measures, but they characterize meani...
Marco Baroni, Brian Murphy, Eduard Barbu, Massimo ...
CORR
2007
Springer
101views Education» more  CORR 2007»
15 years 2 months ago
Curry-style type Isomorphisms and Game Semantics
Joachim De Lataillade
TCS
2008
15 years 2 months ago
A type assignment system for game semantics
Pietro Di Gianantonio, Furio Honsell, Marina Lenis...