Skip to Main content Skip to Navigation

A game semantics for proof search, preliminary results

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00527881
Contributor : Alexis Saurin <>
Submitted on : Wednesday, October 20, 2010 - 3:21:46 PM
Last modification on : Friday, March 27, 2020 - 3:13:30 AM

Links full text

Identifiers

Collections

Citation

Alexis Saurin, Dale Miller. A game semantics for proof search, preliminary results. Twenty-first Conference on the Mathematical Foundations of Programming Semantics - MFPS XXI, May 2005, Birmingham, United Kingdom. pp.543-563, ⟨10.1016/j.entcs.2005.11.072⟩. ⟨hal-00527881⟩

Share

Metrics

Record views

390