Infinitary Completeness in Ludics

2010 25th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2010.47 ◽

2010 ◽

Author(s):

Michele Basaldella ◽

Kazushige Terui

Download Full-text