scientific article; zbMATH DE number 749923
From MaRDI portal
Publication:4764104
zbMath0821.03017MaRDI QIDQ4764104
John N. Crossley, John C. Shepherdson
Publication date: 18 September 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Heyting arithmeticnatural deductionverifiersfirst-order predicate calculusCurry-Howard termsrealizersgeneral framework for extracting programs from proofsHarrop formula axiomatization
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
This page was built for publication:
