Extracting programs from proofs by an extension of the Curry Howard process

JN Crossley; JC Shepherdson

Extracting programs from proofs by an extension of the Curry Howard process

JN Crossley, JC Shepherdson

School of Mathematics

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Translated title of the contribution	Extracting programs from proofs by an extension of the Curry Howard process
Original language	English
Title of host publication	Logic Methods: In Honor of Anil Nerode's 60th Birthday
Editors	Crossley , Remmel , Shore , Sweedler
Publisher	Birkhäuser Basel
Pages	222 - 288
Number of pages	66
ISBN (Print)	081766900
Publication status	Published - 1993

Publication series

Name	Progress in Computer Science & Applied Logic
Volume	12

Handle.net

Persistent link

Cite this

@inbook{7bc99924f6814c91b6b0702527eabdf8,

title = "Extracting programs from proofs by an extension of the Curry Howard process",

author = "JN Crossley and JC Shepherdson",

year = "1993",

language = "English",

isbn = "081766900",

series = "Progress in Computer Science & Applied Logic",

publisher = "Birkh{\"a}user Basel",

pages = "222 -- 288",

editor = "Crossley and Remmel and Shore and Sweedler",

booktitle = "Logic Methods: In Honor of Anil Nerode's 60th Birthday",

address = "Switzerland",

}

Extracting programs from proofs by an extension of the Curry Howard process. / Crossley, JN; Shepherdson, JC.
Logic Methods: In Honor of Anil Nerode's 60th Birthday. ed. / Crossley; Remmel; Shore; Sweedler. Birkhäuser Basel, 1993. p. 222 - 288 (Progress in Computer Science & Applied Logic; Vol. 12).

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

TY - CHAP

T1 - Extracting programs from proofs by an extension of the Curry Howard process

AU - Crossley, JN

AU - Shepherdson, JC

PY - 1993

Y1 - 1993

M3 - Chapter in a book

SN - 081766900

T3 - Progress in Computer Science & Applied Logic

SP - 222

EP - 288

BT - Logic Methods: In Honor of Anil Nerode's 60th Birthday

A2 - null, Crossley

A2 - null, Remmel

A2 - null, Shore

A2 - null, Sweedler

PB - Birkhäuser Basel

ER -