An Intuitionistic Analysis of Size-change Termination
From MaRDI portal
Publication:5277982
DOI10.4230/LIPIcs.TYPES.2014.288zbMath1369.68156OpenAlexW2305596766MaRDI QIDQ5277982
Publication date: 12 July 2017
Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2015/5502/
Functional programming and lambda calculus (68N18) Ramsey theory (05D10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Intuitionistic mathematics (03F55)
Related Items (2)
An intuitionistic version of Ramsey's theorem and its use in program termination ⋮ RAMSEY’S THEOREM FOR PAIRS ANDKCOLORS AS A SUB-CLASSICAL PRINCIPLE OF ARITHMETIC
This page was built for publication: An Intuitionistic Analysis of Size-change Termination
