Proof theory and computer programming : the logical foundations of computing
Author(s)
Queiroz, Ruy Jose Guerra Barretto de
Type
Thesis or dissertation
Version
Imperial Users only
Date Issued
1990
Date Awarded
1990
Creator
Queiroz, Ruy Jose Guerra Barretto de
Publisher Department
Department of Computing
Publisher Institution
Imperial College London
Qualification Level
Doctoral
Qualification Name
PhD