Home
Scholarly Works
Proof theory and computer programming
Journal article
Proof theory and computer programming
Authors
de Queiroz RJGB; Maibaum TSE
Journal
Mathematical Logic Quarterly, Vol. 36, No. 5, pp. 389–414
Publisher
Wiley
Publication Date
January 1, 1990
DOI
10.1002/malq.19900360505
ISSN
0044-3050
Associated Experts
Thomas Maibaum
Professor Emeritus, Faculty of Engineering
Visit profile
Labels
Fields of Research (FoR)
4904 Pure mathematics
49 Mathematical Sciences
View published work (Non-McMaster Users)
Scholarly citations from Dimensions
Contact the Experts team
Get technical help
or
Provide website feedback