Notes on set theory

John Barwise and Lawrence Moss, Vicious Circles: On the mathematics of Non-Wellfounded Phnenomena

Journal of Logic, Language and Information

Partial Evaluations in a Set-Theoretic Query Language for the WWW

FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems

Exercises in style (Alpha specifications)

Fundamenta Informaticae - Concurrency specification and programming

Transfinite corecursion

Nordic Journal of Computing

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

Fundamenta Informaticae

Induction Principles for Sets

Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk

From Hilbert's program to a logic tool box

Annals of Mathematics and Artificial Intelligence

A mechanized translation from higher-order logic to set theory

ITP'10 Proceedings of the First international conference on Interactive Theorem Proving

Induction Principles for Sets

Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk

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

Fundamenta Informaticae

Exercises in Style (Alpha Specifications)

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1