Complete Types in an Extension of the System AF2

Details Complete Types in an Extension of the System AF2 Complete Types in an Extension of the System AF2

2009-05-04

arxiv.org/abs/0905.0371v1

Journal of Applied Non-Classical Logics 13 (2003) 73-85

Mathematics

Logic

Scientific paper

In this paper, we extend the system AF2 in order to have the subject
reduction for the $\beta\eta$-reduction. We prove that the types with positive
quantifiers are complete for models that are stable by weak-head expansion.

Affiliated with

Also associated with

No associations

Rating

Complete Types in an Extension of the System AF2 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 Complete Types in an Extension of the System AF2, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Complete Types in an Extension of the System AF2 will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-199496