Find link

language:

Find link is a tool written by Edward Betts.

searching for Game semantics 5 found (51 total)

Giorgi Japaridze (2,628 words) [view diff] exact match in snippet view article find links to article

Studia Logica 91 (2009), pages 1–24. G. Japaridze, "In the beginning was game semantics". Games: Unifying Logic, Language and Philosophy. O. Majer, A.-V. Pietarinen

Symposium on Logic in Computer Science (672 words) [view diff] case mismatch in snippet view article find links to article

Abstractions" Samson Abramsky, Kohei Honda, Guy McCusker, "A Fully Abstract Game Semantics for General References" Marcelo P. Fiore, Gordon D. Plotkin, Daniele

BCS Lovelace Medal (670 words) [view diff] exact match in snippet view article find links to article

systems 2013 Samson Abramsky – for contributions to domain theory, game semantics and categorical quantum mechanics 2012 Grady Booch – for contributions

Ruy de Queiroz (1,250 words) [view diff] no match in snippet view article find links to article

finds a parallel in Paul Lorenzen's and Jaakko Hintikka's dialogue/game-semantics. This led to a type theory called "Meaning as Use Type Theory". In reference

List of Jewish mathematicians (15,763 words) [view diff] exact match in snippet view article find links to article

Abramowitz (1915–1958), mathematician Samson Abramsky (born 1953), game semantics Amir Aczel (1950–2015), history of mathematics Georgy Adelson-Velsky