Exhaustible sets in higher-type computation

Research output: Contribution to journal › Article

22 Citations (Scopus)

Original language	English
Article number	3
Pages (from-to)	37 pages
Journal	Logical Methods in Computer Science
Volume	4
Issue number	3
Early online date	27 Aug 2008
DOIs	https://doi.org/10.2168/LMCS-4(3:3)2008
Publication status	Published - 27 Aug 2008

Access to Document

@article{9d6bebf7778d4cf5a1d92200375d2d72,

title = "Exhaustible sets in higher-type computation",

author = "Martin Escardo",

year = "2008",

month = aug,

day = "27",

doi = "10.2168/LMCS-4(3:3)2008",

language = "English",

volume = "4",

pages = "37 pages",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

publisher = "IfCoLog",

number = "3",

}