Partial Applicative System
A partial applicative system is an H-Set equipped with a Partial Function .
This structure is almost pointlessly general, but is meant to axiomatize the application operation found in Combinator Calcului.
A partial applicative system is an H-Set equipped with a Partial Function .
This structure is almost pointlessly general, but is meant to axiomatize the application operation found in Combinator Calcului.