Abstract: We examine nonstandard Heyting arithmetic extended with a feasibility predicate. Feasibility is defined as a downward closed property containing all numerals and closed under applications ...

This repository is the collection of Scheme exercises completed during the author's first year of university. These programs are educational exercises used to learn Scheme and common programming ...