Some results on combinators in the system TRC

Details Some results on combinators in the system TRC Some results on combinators in the system TRC

1998-02-16

arxiv.org/abs/math/9802075v1

Mathematics

Logic

10 pages. Available also from http://www.math.psu.edu/jech/preprints/

Scientific paper

We investigate the system TRC of combinatory logic that is equiconsistent
with New Foundations. We prove that various unstratified combinators do not
exist in TRC.

Affiliated with

Also associated with

No associations

Rating

Some results on combinators in the system TRC does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Some results on combinators in the system TRC, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Some results on combinators in the system TRC will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-602889