|
|||
|
|||
|
|
||
Title:Higher-order matching and games | |||
Authors: Colin Stirling | |||
Date:Sep 2005 | |||
Publication Title:Proceedings of CSL 2005 (Conference for Computer Science Logic) | |||
Publisher:Springer | |||
Publication Type:Conference Paper Publication Status:Published | |||
Volume No:3634 Page Nos:119-134 | |||
|
Please mail <reports@inf.ed.ac.uk> with any
changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh |
![]() |