Citation: S. Feferman, COMPUTATION ON ABSTRACT-DATA-TYPES - THE EXTENSIONAL APPROACH, WITH AN APPLICATION TO STREAMS, Annals of pure and applied Logic, 81(1-3), 1996, pp. 75-113
Authors:
ARTEMOV S
BOOLOS G
ENGELER E
FEFERMAN S
JAGER G
VISSER A
Citation: S. Artemov et al., INVITED PAPERS PRESENTED AT THE CONFERENCE ON PROOF THEORY, PROVABILITY LOGIC, AND COMPUTATION - PREFACE, Annals of pure and applied Logic, 75(1-2), 1995, pp. 1-1
Citation: S. Feferman et G. Jager, SYSTEMS OF EXPLICIT MATHEMATICS WITH NONCONSTRUCTIVE MU-OPERATOR .1, Annals of pure and applied Logic, 65(3), 1993, pp. 243-263