iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/foiks/FerrarottiT06.xml
Flavio Antonio Ferrarotti Jose Maria Turull Torres Arity and Alternation: A Proper Hierarchy in Higher Order Logics. 92-115 2006 conf/foiks/2006 FoIKS https://doi.org/10.1007/11663881_7 db/conf/foiks/foiks2006.html#FerrarottiT06