Newsgroups: ut.theory
Path: utzoo!utgpu!jarvis.csri.toronto.edu!neat.ai.toronto.edu!bmkapron
From: bmkapron@theory.utoronto.ca (Bruce Kapron)
Subject: Student Seminar
Message-ID: <88Nov11.102748est.8652@neat.ai.toronto.edu>
Organization: Department of Computer Science, University of Toronto
Distribution: ut
Date: Fri, 11 Nov 88 10:27:33 EST

Time: Tuesday, November 15, 2pm EST

Location: University College Room 257

Speaker: Andrew Malton

Summary:

An informal introduction to the ideas of constructive logic
will be given from the point of view of programming methodology.
The presentation will be based on R. Constable's ``Semantics
of Evidence''.