2 search results - page 1 / 1 » The Suslin operator in applicative theories: Its proof-theor... |
APAL
2011
12 years 11 months ago
2011
The Suslin operator E1 is a type-2 functional testing for the wellfoundedness of binary relations on the natural numbers. In the context of applicative theories, its proof-theoret...
WWW
2006
ACM
14 years 5 months ago
2006
ACM
XML is fast becoming the standard format to store, exchange and publish over the web, and is getting embedded in applications. Two challenges in handling XML are its size (the XML...