%0 Journal Article %1 journals/lmcs/Escardo08 %A Escardó, Martín Hötzel %D 2008 %J Logical Methods in Computer Science %K dblp %N 3 %T Exhaustible Sets in Higher-type Computation. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs4.html#Escardo08 %V 4

@article{journals/lmcs/Escardo08, added-at = {2019-05-14T00:00:00.000+0200}, author = {Escardó, Martín Hötzel}, biburl = {https://www.bibsonomy.org/bibtex/238002f150a87cb8923abd9f9b68495c0/dblp}, ee = {https://doi.org/10.2168/LMCS-4(3:3)2008}, interhash = {276f1db9eb03879995ae149903aa1fae}, intrahash = {38002f150a87cb8923abd9f9b68495c0}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 3, timestamp = {2019-05-15T11:51:19.000+0200}, title = {Exhaustible Sets in Higher-type Computation.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs4.html#Escardo08}, volume = 4, year = 2008 }