Thomas Ehrhard and Loic Colson. On strong stability and higher-order sequentiality. In Proc. 9th Symp. Logic in Comp. Sci. (LICS), Paris, France, pages 103--109. IEEE, 1994.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....use of recursion theory and does not obviously carry over to the case of polynomial time. We do not know whether the topology on Pused in Section 5 is the canonical one. We further report that a construction similar to the hereditarily polynomial functionals has been used by Ehrhard and Colson [5] to extend another first order notion (Vuillemin Milner sequentiality) to higher types. The present work should be distinguished from Otto s work [14] where categorytheoretic methods are used to analyse the syntax rather than the semantics of function algebras for complexity classes. ....

Thomas Ehrhard and Loic Colson. On strong stability and higher-order sequentiality. In Proc. 9th Symp. Logic in Comp. Sci. (LICS), Paris, France, pages 103--109. IEEE, 1994.

....jAj G(X) such that whenever u 2 C (Y; X) and a 2 AX then a ffi G(u) 2 A Y . A morphism between two such objects A and B is a function f : jAj jBj such that for each a 2 AX we have f ffi a 2 BX . These objects form a category equivalent to Ext(C ) This category has also been introduced in [12] and implicitly in [36] We have now assembled enough technical machinery to give a semantic proof of Theorem 2.5.1 2.6.10.6 Interpretation of PV in b P We interpret the base type as the representable presheaf N = Y(1) Function types are interpreted as the corresponding function spaces in ....

Thomas Ehrhard and Loic Colson. On strong stability and higher-order sequentiality. In Proc. 9th Symp. Logic in Comp. Sci. (LICS), Paris, France, pages 103--109. IEEE, 1994.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC