[Prev][Next][Index][Thread]
BRA project `Types for Proofs and Programs'
-
To: types@dcs.gla.ac.uk
-
Subject: BRA project `Types for Proofs and Programs'
-
From: Herman Geuvers <herman@cs.kun.nl>
-
Date: Tue, 11 Jan 1994 10:48:16 +0100
-
Approved: types@dcs.gla.ac.uk
INFORMAL PROCEEDINGS of the
BRA `TYPES FOR PROOFS AND PROGRAMS' WORKSHOP