44 Pages
English

Proof and refutation in MALL as a game

-

Gain access to the library to view online
Learn more

Description

Niveau: Supérieur
Proof and refutation in MALL as a game Dale Miller INRIA-Saclay & LIX, Ecole Polytechnique Palaiseau, France 29 September 2009 Workshop on Games, Dialogue, and Interaction University of Paris, VIII, Joint work with Olivier Delande and Alexis Saurin. Related papers appeared in MFPS 2006, LICS 2008, TCS 2009.

  • purely additive

  • mall without atoms

  • game

  • neutral expressions

  • function-argument interaction


Subjects

Informations

Published by
Reads 10
Language English
ProofandrefutationinMALLasagameDaleMillerINRIA-Saclay&LIX,E´colePolytechniquePalaiseau,France29September2009WorkshoponGames,Dialogue,andInteractionUniversityofParis,VIII,http://anr-prelude.frRelatedJopianptewrsorakppweitahredOliinvieMrFDPelSan2d0e06a,nLdICASlex2i0s0S8,auTriCnS.2009.
OutlineIntroductionPurelyadditivegamesTheadditivefragmentofNeutralexpressionsAsimpleadditivegameAgameforMALLMALLwithoutatomsNeutralexpressionsFocalizationIndeterminacyThefullgameConclusionLLAM
GamesandproofTwostyleofgamesusedincomputerscience.Function-argumentinteraction:functionagainstenvironment.Modelsproofnormalization.Getsinterestingwithhigher-ordercomputations.c.f.Hyland-Ong,Abramsky,fullabstractionfor.FCPDialoguegames:Styleusedinthistalk.“IfIhaveaproof,Icanwintheargument.”AtraditionstartingwithLorenzen[1960/61],Hintikka[1968],....
!sesnefedDhPtaxalernacenooS?cigolnisemagesuyhW.detaefedsawkcattasSR.foorpluferacadahNGecnismlacdeniamerresivdadnatnedutS.].elpmaxeretnuocesopmocotdraobkcalbotsevoM[.DhPmotesihr,yrujohcihweincludedhkciRtStatman.rsihudefendedoIn1986,myfirstPhDstudent,GopalanNadathur,ysmallstoryenAveilebtnodI:SR.meroehtniamdnanoitinedniamymsiereH:NG
)