Extended Curry-Howard terms for second-order logic

DOI10.1002/malq.201100102zbMath1323.03035OpenAlexW1552157091MaRDI QIDQ2856633

Pimpen Vejjajiva

Publication date: 30 October 2013

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201100102

zbMATH Keywords

second-order logicCurry-Howard termsextracting programs from proofs

Mathematics Subject Classification ID

Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Other constructive mathematics (03F65) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• A direct proof of strong normalization for full constructive second-order logic
• Hauptsatz for higher order logic
• Unnamed Item
• Unnamed Item

This page was built for publication: Extended Curry-Howard terms for second-order logic