Chronological Index:
2005-2006

Fall '05 Semester

Urelements in Type Theory: New Definition of "Inherence"

Mark Bickford, November 18, 2005

Urelements in Computational Type Theory

Mark Bickford, November 11, 2005

(Constructive) set-theoretic semantics for (Constructive) higher-order logic

Wojciech Moczydlowski, November 04, 2005

Uniform Inhabitants for the Non-Union Blueprints, continued

Evan Moran, October 28, 2005

(Re-)Introduction to Howe's Framework, continued

Evan Moran, October 14, 2005

(Re-)Introduction to Howe's Framework

Evan Moran, September 30, 2005

Unions and Unboxed Quotients

Evan Moran, September 23, 2005

Automating Proofs in Event Logic

Mark Bickford, September 16, 2005

Automating Proofs in Event Logic

Mark Bickford, August 26, 2005

Spring '06 Semester

Microsoft's Spec#

Christoph Kreitz, April 7, 2006

A Semantics for Abstract Atoms in Nuprl

Stuart Allen, March 31, 2006

Automating Proofs in Event Logic

Rich Eaton, March 23, 2006

Event Systems: Introduction to the Logic of Events

Mark Bickford and Robert Constable, February 17, 2006


Introduction