Bar Induction occupies a central place in Brouwerian mathematics. This note is concerned with the strength of Bar Induction on the basis of Constructive ZermeloFraenkel Set Theory...
This paper has two purposes. The first is to present a final coalgebra construction for finitary endofunctors on Set that uses a certain subset L∗ of the limit L of the firs...
N IN AN ABSTRACTION SPACE: A Form of Constructive Induction George Drastal and Gabor Czako Siemens Research and Technology Laboratories 755 College Rd Princeton, NJ 08540 We repor...
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...