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.
| Property | Value |
| 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
| |
| owl:sameAs
| |
| skos:subject
| |
| foaf:depiction
| |
| foaf:page
| |
| is owl:sameAs
of | |