No Cover Image

Journal article 864 views

Programs from proofs using classical dependent choice

Monika Seisenberger Orcid Logo

Annals of Pure and Applied Logic, Volume: 153, Issue: 1-3, Pages: 97 - 110

Swansea University Author: Monika Seisenberger Orcid Logo

Full text not available from this repository: check for access using links below.

Published in: Annals of Pure and Applied Logic
ISSN: 0168-0072
Published: 2008
Online Access: Check full text

Tags: Add Tag
No Tags, Be the first to tag this record!
Keywords: Computational content of classical proofs; A-translation; Minlog; Classical dependent choice; infinite tape example
College: Faculty of Science and Engineering
Issue: 1-3
Start Page: 97
End Page: 110