No Cover Image

Journal article 491 views

Programs from proofs using classical dependent choice / Monika Seisenberger

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

Swansea University Author: Monika, Seisenberger

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

URI: https://cronfa.swan.ac.uk/Record/cronfa168
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: College of Science
Issue: 1-3
Start Page: 97
End Page: 110