scientific article; zbMATH DE number 1070627
From MaRDI portal
Publication:4357067
zbMath0881.03028MaRDI QIDQ4357067
Publication date: 7 October 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
intuitionistic logicclassical logicminimal logiccontinuation-passing-style translation\(\lambda\)-calculus with control operatorscall-by-value \(\beta\)-conversioncolon-translationimplicational propositional logictermination of normalization strategies
Functionals in proof theory (03F10) Metamathematics of constructive systems (03F50) Combinatory logic and lambda calculus (03B40)
Related Items (3)
Unnamed Item ⋮ Non-strictly positive fixed points for classical natural deduction ⋮ A Context-based Approach to Proving Termination of Evaluation
This page was built for publication:
