Full Reduction in the Face of Absurdity

DOI10.1007/978-3-662-46669-8_28MaRDI QIDQ2802461zbMATH OpenOpenAlexFDO

Authors Gabriel Scherer, Didier Rémy

Publication date 26 April 2016

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-46669-8_28

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Reductio ad Absurdum in a full-fledged dialogical framework
• scientific article; zbMATH DE number 4154403
• Irredundance
• Truth and reduction
• The meaning of absurdity
• Reduction redux of adinkras
• scientific article; zbMATH DE number 2213919

Cited in

(3)

• The essence of dependent object types
• The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: a proof via corresponding calculus
• Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space

This page was built for publication: Full Reduction in the Face of Absurdity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2802461)