Wojciech Moczydlowski

(Constructive) set-theoretic semantics for (Constructive) higher-order logic
Wojciech Moczydlowski, November 04, 2005
Extraction in IZF
Wojciech Moczydlowski, February 25, 2005


Home | Introduction |Authors | Topics | Chronological List | PRL Project


Melissa Totman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: mtotman@cs.cornell.edu