In a recent work, Girard [1] proposed a new and innovative approach to computational complexity based on the proofs-as-programs correspondence. In a previous paper [2], the authors showed how Girard proposal succeeds in obtaining a new characterization of co-NL languages as a set of operators acting on a Hilbert Space. In this paper, we extend this work by showing that it is also possible to de...

Jean-Yves Girard and John Reynolds independently discovered the second-order polymorphic lambda calculus, F2. Girard additionally proved a Representation Theorem: every function on natural numbers that can be proved total in second-order intuitionistic predicate logic, P2, can be represented in F2. Reynolds additionally proved an Abstraction Theorem: every term in F2 satisfies a suitable notion...

The fruiting branches of Colutea cilicica Boiss. & Bal., along with leaves and fruits, have been used to heal inflammatory wounds at traditional medicine in various parts of Turkey. In order to evaluate the wound healing activity of the plant, aqueous extracts were prepared from the flowering parts and fruits of Colutea cilicica Boiss. & Bal. by using 40°C distilled water. Incision wound healin...