|
enhanced by Google
|
More Offers: |
"game+semantics" |
Game semantics (German: dialogische Logik) is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, ...
en.wikipedia.org/wiki/Game_semantics - Similar
G. Japaridze, In the beginning was game semantics. ... I.Mezhirov and N. Vereshchagin, On game semantics of the affine and intuitionistic logics. ...
en.wikipedia.org/wiki/Computability_logic - Similar
The page is about an alternative to linear logic called computability logic. It is semantics-based unlike the syntax-based linear logic.
www.csc.villanova.edu/~japaridz/CL/gsoll.html - Similar
Sep 12, 2006 ... The subject called game semantics grew out as a coherent body of ... Game semantics allows to provide precise and also natural, interactive ...
www.pps.jussieu.fr/~curien/Game-semantics.pdf - Similar
Mar 11, 2008 ... We report on an ongoing project to design a strongly typed, class-based object- oriented language based around ideas from game semantics. ...
lambda-the-ultimate.org/node/2716 - Similar
Probabilistic game semantics. Danos, V. Harmer, R. Equipe PPS, Paris VII Univ.;. This paper appears in: Logic in Computer Science, 2000. Proceedings. ...
ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=855770 - Similar
That game semantics concepts adapt in this way gives a ... Game semantics represents computation with “execution traces” that describe the ...
www.acm.org/tocl/accepted/danos.ps - Similar
Game semantics came to prominence in the 1990s when it was used to construct the first fully abstract models for a wide spectrum of programming languages. ...
www.dagstuhl.de/de/programm/kalender/semhp/?semnr=102... - Similar
Finally, we discuss how Godel's Dialectica interpretation (1958), which was connected to linear logic by de Paiva (1989), fits with game semantics. ...
deepblue.lib.umich.edu/handle/2027.42/30097 - Similar
Title: In the beginning was game semantics. Authors: Giorgi Japaridze. ( Submitted on 18 Jul 2005 (v1), last revised 24 Oct 2008 (this version, v3)) ...
arxiv.org/abs/cs/0507045 - Similar
More Offers: |
"game+semantics" |
Great! Please tell us what you found most helpful.
We're sorry. Please tell us what went wrong.
|
|