Towards a computation system based on set theory

A derived algorithm for evaluating ε-expressions over abstract sets

Journal of Symbolic Computation - Special issue on automatic programming

On Some Vagaries of Vagueness and Information

Annals of Mathematics and Artificial Intelligence

Formal Verification of Algorithms for Critical Systems

IEEE Transactions on Software Engineering

Structural Embeddings: Mechanization with Method

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I

The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving

Fundamenta Informaticae

The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving

Fundamenta Informaticae

Operational set theory and small large cardinals

Information and Computation

The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving

Fundamenta Informaticae

The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving

Fundamenta Informaticae