Student Seminar

Article View: ut.theory

Article #269

#269

From: Bruce Kapron
Date: Fri, 11 Nov 1988 15:27

12 lines
676 bytes

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''.

Technical Details

Message-ID: <88Nov11.102748est.8652@neat.ai.toronto.edu>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!neat.ai.toronto.edu!bmkapron

Show Full Headers

Complete Article Headers

Newsgroups: ut.theory
Path: arc1-ca.pugleaf.net!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