Samson D. Abramsky FRS, FRSE is a computer scientist who currently holds the Christopher Strachey Professorship at Oxford University Computing Laboratory. He is well known for playing a leading role in the development of domain theory in logical form. He has made significant contributions to the areas of game semantics, the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories, and the geometry of interaction.

PropertyValue
dbpedia-owl:thumbnail
dbpprop:abstract
  • Samson D. Abramsky FRS, FRSE is a computer scientist who currently holds the Christopher Strachey Professorship at Oxford University Computing Laboratory. He is well known for playing a leading role in the development of domain theory in logical form. He has made significant contributions to the areas of game semantics, the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories, and the geometry of interaction.
dbpprop:hasPhotoCollection
dbpprop:reference
rdf:type
rdfs:comment
  • Samson D. Abramsky FRS, FRSE is a computer scientist who currently holds the Christopher Strachey Professorship at Oxford University Computing Laboratory. He is well known for playing a leading role in the development of domain theory in logical form. He has made significant contributions to the areas of game semantics, the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories, and the geometry of interaction.
rdfs:label
  • Samson Abramsky
owl:sameAs
skos:subject
foaf:depiction
foaf:page
is owl:sameAs of