Partial Applicative Theories and Explicit Substitutions


On theories with a combinatorial deenition of \equivalence". We have addressed some defects of the partial calculus p as a constructive framework for partial functions, and we have proposed a modiication p of p by explicit substitutions. The system p is embeddable into partial combinatory logic CL p and therefore inherits all the models of the latter. We… (More)


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics